The University of Queensland is seeking a Senior Scientific Officer to lead advanced formal verification efforts for compiler optimisations within the veriopt project. You will build and maintain proof infrastructure, work with researchers and students, and contribute to high-impact software engineering research.
With expertise in formal methods and verification tools such as Isabelle/HOL and GraalVM, you will mentor junior researchers and help shape research outcomes across the lifecycle in a
#J-18808-Ljbffr
📌 Senior Scientific Officer: Formal Verification Lead (Australia)
🏢 University Of Queensland
📍 Australia
Reply to this offer
Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.