Post-doctoral Research Position in Concurrent Software Verification

by Ian Hayes, Sept. 10, 2019

We are seeking a post-doc researcher for a project on the design and verification of correct, efficient and secure concurrent systems. The position is for approximately 3 years and is based at the University of Queensland (UQ), Brisbane, Australia and funded by an Australian Research Council (ARC) Discovery Grant.

The aim of this project is to provide design and verification methods for correct, efficient and secure concurrent computer software, in a manner that supports both modular design and compositional reasoning, and that has mechanised support using modern theorem provers to help eliminate human error and automate the verification task.

Full details:  <>

The position is part of an ARC Discovery Project under the supervision of Prof. Ian Hayes and Dr Larissa Meinicke (UQ) and in collaboration with Dr Brijesh Dongol (Surrey University, UK), Dr Peter Höfner (Data61, Sydney) and Prof. Cliff Jones (Newcastle University, UK).

The person

Applicants should possess a PhD in Computer Science or Software Engineering.

You should have demonstrated expert knowledge formal methods of software development, experience in using an interactive theorem prover such as Isabelle/HOL, demonstrated high-level written and oral communication skills, publication of research findings in peer reviewed journals/conferences and experience in student project supervision

Experience with formal methods for concurrent systems such as the rely/guarantee approach or concurrent separation logic is highly desirable.


This is a full-time, fixed term appointment for 3 years at level A/B.

The full-time equivalent base salary for Academic Level A will be in the range $81, 827 - $90,982 p.a., plus super of up to 17%

The full-time equivalent base salary for Academic Level B will be in the range $95,771 - $113,728p.a., p plus super of up to 17%

Informal enquires can be directed to [email protected]but applications should be submitted via the link above. 

Applications close: 09 Oct 2019 (10:00 PM) E. Australia Standard Time