(Senior) Research Associate – Formal Methods
Physicist by training, computer engineer by passion.
Scientia Professor at UNSW Sydney, Leader of the Trustworthy Systems Group welcomes postdoc/senior postdoc applicants to work on proof techniques for systems software and their application to the verification of real-world software systems at the Trustworthy Systems Group.
Responsibilities
Connecting correctness proofs of usermode components to the seL4 spec
Compositional reasoning for proving system-level properties based on verified components
Formalization of security policies and their enforcement
Reasoning framework about timeliness in mixed-criticality systems
Qualifications
PhD in Computer Science (or related) with focus on formal methods
Experience with interactive theorem proving or SMT solvers
Ability to work in a cross-disciplinary team
Details at .
#J-*****-Ljbffr