Senior Formal Verification Scientist (Flexible Work) (Brisbane City)

Senior Formal Verification Scientist (Flexible Work) (Brisbane City)

04 Aug
|
The University of Queensland
|
Brisbane City

04 Aug

The University of Queensland

Brisbane City

The University of Queensland in Brisbane invites applications for a Senior Scientific Officer to advance formal methods and verification research, with a focus on compiler optimisations within the veriopt project. You will set up and maintain proof infrastructure, train staff and students, and contribute to experiments, reports and infrastructure development. Successful candidates will have a degree in software engineering or computer science, robust expertise in Isabelle/HOL and GraalVM, and a

📌 Senior Formal Verification Scientist (Flexible Work) (Brisbane City)
🏢 The University of Queensland
📍 Brisbane City

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.

Support Coordinator (City of Sydney)

Support Coordinator (City of Sydney)

07 Aug
|
The Housing Connection
|
City of Sydney
  • 07 Aug
  • The Housing Connection
  • City of Sydney

Hiring Support Coordinator We are seeking a passionate and dedicated Support Coordinator to join our team in Chatswood, NSW: - You’ll work closely with NDIS participants to achieve their goals, [...]

STRONG Pilates Instructor (City of Frankston)

STRONG Pilates Instructor (City of Frankston)

07 Aug
|
STRONG Frankston
|
City of Frankston
  • 07 Aug
  • STRONG Frankston
  • City of Frankston

Do you love fitness, Pilates, and inspiring others to move? STRONG Pilates Frankston is growing, and we’re looking to welcome one or two passionate Instructors to join our incredible team. If you [...]

Subscribe to this job alert:

Get the latest job offers by email for: senior formal verification scientist (flexible work) (brisbane city) / brisbane city

Project Officer (Melbourne)

Project Officer (Melbourne)

07 Aug
|
Victoria Police
|
Melbourne
  • 07 Aug
  • Victoria Police
  • Melbourne

Australia's firearms regulatory framework is widely recognised as a global benchmark for public safety. The National Firearms Register (NFR) is a nationally significant reform initiative that will str [...]

Storeperson/Yardperson (City of Albury)

Storeperson/Yardperson (City of Albury)

07 Aug
|
Select Recruitment
|
City of Albury
  • 07 Aug
  • Select Recruitment
  • City of Albury

Recruitment Select is currently seeking skilled and motivated Storeperson for one of our esteemed clients in Albury. This is an opportunity to join a company that prioritises quality, safety and that [...]

Subscribe to this job alert:

Get the latest job offers by email for: senior formal verification scientist (flexible work) (brisbane city) / brisbane city