Senior Scientific Officer in Software Verification

About This Opportunity

Join a visionary and collaborative research environment within Faculty of Engineering, Architecture and Information Technology , School of Electrical Engineering and Computer Science where your expertise will help shape the future of trustworthy software systems.

The Senior Scientific Officer will provide advanced knowledge of formal methods in support of high-quality research outcomes across the research lifecycle, with a particular focus on formal verification of compiler optimisations within the veriopt project. Working alongside leading researchers, students and industry collaborators, you will contribute to impactful research, build enabling infrastructure, and help create meaningful change through innovative software engineering research.

Key responsibilities will include

• Setting up, optimising and maintaining proof infrastructure to support formal verification research within the veriopt project.
• Training and providing technical support to students and research staff using verification infrastructure and methodologies.
• Designing and conducting experiments, analysing outcomes, and generating technical reports that support high-quality research outcomes.
• Contributing to the development of research-focused technologies, testing frameworks, engineering processes and continuous improvement initiatives.

This is a full-time fixed-term position through to April 2027 at HEW 6.

About You

You are an experienced and highly motivated research professional who combines deep technical expertise with a collaborative and supportive approach to research delivery.

• Completion of a degree in software engineering, computer science, or a related discipline, with subsequent relevant experience, or an equivalent combination of education, training and experience.
• Demonstrated expertise in verifying compiler optimisations and the application of formal methods.
• Advanced knowledge of the Isabelle/HOL theorem prover, GraalVM compiler, and contemporary software verification techniques.
• Significant experience working within software verification research or closely related technical environments.
• Experience supervising thesis students, mentoring junior researchers, or the demonstrated capability to rapidly develop these capabilities.
• Highly developed problem-solving skills with the ability to prioritise competing demands, meet deadlines and adapt to evolving research priorities.
• Strong written and verbal communication skills, including the ability to prepare clear technical documentation and effectively engage with diverse stakeholders.
• Demonstrated commitment to integrity, respect, inclusivity and the values of The University of Queensland.
• Experience or strong interest in teaching, training and supporting the development of undergraduate and postgraduate students is desirable.

Interested?

For more information about this opportunity, please contact Dr Brae Webb at b.webb@uq.edu.au . For application inquiries, please reach out to the Talent Acquisition team at talent@uq.edu.au , stating the job reference number (below) in the subject line.

When you apply, please ensure you upload a resume and cover letter summarizing how your background aligns to the ‘About You’ section.

Other Information

Pre-employment checks may include: verification of the right to work in Australia. This may also include checks relating to gender-based violence matters or other integrity and conduct requirements.

We're dedicated to equity, diversity, and inclusion . We recognise that career pathways and opportunities differ, and encourage applications from candidates who may not meet every criterion but can demonstrate their potential relative to opportunity. We’re also happy to support any accessibility needs throughout the recruitment process. Just let us know how we can help by emailing talent@uq.edu.au or calling +61 7 3365 2623.

Applications close Sunday August 2nd 2026 at 11.00pm AEST (R-67264). Please note that interviews have been tentatively scheduled for Monday August 10th 2026.