Postdoctoral Research Fellow/Research Fellow in Concurrent Software Verification

University of Queensland



About This Opportunity

It is an exciting time to get involved with the School of Information Technology and Electrical Engineering, located on UQ’s St. Lucia campus. The School is ramping up its investment in teaching, research and engagement to create an inspiring, diverse and flexible workplace. The direction is backed by a bold, new strategic vision to ensure the School is at the forefront of meaningful research outcomes and pedagogy across its core impact areas of health, data, automation and energy. Boasting strong student enrolments in professionally accredited programs, combined with world-class researchers and facilities, the School is focused on strengthening its position in the global computer science and engineering communities. By attracting the brightest minds and fostering a truly innovative and collaborative work environment, the School will develop global solutions to contemporary issues and mentor the leaders of tomorrow. Details of the School may be accessed on its website at

The Role

The role of the Postdoctoral Research Fellow/Research Fellow is to participate in innovative research developments, conduct original research within the general scope of correct and secure concurrent software, provide research input to other staff and research students where relevant, participate and/or lead interactions partner investigators Dr Brijesh Dongol (Surrey University, UK), Dr Peter Höfner (Data61, Sydney) and Prof. Cliff Jones (Newcastle University, UK), and provide support in literature review and research document preparation.

This position is located at our picturesque St Lucia campus, renowned as one of Australia’s most attractive university campuses, and located just 7km from Brisbane’s city centre. Bounded by the Brisbane River on three sides, and with outstanding public transport connections, our 114-hectare site provides a perfect work environment – you can enjoy the best of both worlds: a vibrant campus with the tradition of an established university.

For US applicants, please note that Australian Universities use British terminology, as such a Lecturer (Level B) position is equivalent to that of an Assistant Professor position in the US.

Our Ideal Candidate

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.

The University of Queensland values diversity and inclusion and actively encourages applications from those who bring diversity to the University. Please refer to the University’s Diversity and Inclusion webpage ( for further information and points of contact if you require additional support.

This role is a full-time position; however flexible working arrangements may be negotiated.

We value diversity and inclusion, and actively encourage applications from those who bring diversity to the University. Our Diversity and Inclusion webpage contains further information if you require additional support. Accessibility requirements and/or adjustments can be directed to

What We Can Offer

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%

You will be able to take advantage of UQ Sport Facilities, salary sacrificing options, on-campus childcare, discounted private health insurance, cheap parking, development programs and many other benefits.

For further information, please review The University of Queensland's Enterprise Bargaining Agreement 2018-2021.

Position Description

 508332_Postdoc Research Fellow_Research Fellow - Concurrent Software Verification.pdf


To discuss this role please contact Professor Ian Hayes on +61 7 3365 2386 or

You must have valid Australian work rights to apply for this role. Visa sponsorship may be available for this position.

Want to Apply?

To submit an application for this role, use the APPLY NOW button below. All applicants must supply the following documents:

  • Cover letter
  • Resume
  • Responses to the Selection Criteria

In your application, please refer to


amsterdam uni

antwerp uni

cambridge uni

florida uni

hamburg uni

harvard uni

hiroshima uni

oslo uni

purdue uni

ryerson uni

shanghai jiao tong uni

stockholm uni