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, solid 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.

Brand Ambassador - Retail Sales Specialist (Maroondah City)

Brand Ambassador - Retail Sales Specialist (Maroondah City)

07 Aug
|
The Works Stores
|
Maroondah City
  • 07 Aug
  • The Works Stores
  • Maroondah City

The Works Stores Ltd, located in City of Maroondah, is seeking a Retail Sales Assistant to deliver exceptional customer service. In this role, you will connect with customers, ensuring they have a pos [...]

Late Night / Closing Crew (Central Coast Council)

Late Night / Closing Crew (Central Coast Council)

07 Aug
|
Guzman y Gomez Mexican Kitchen
|
Central Coast Council
  • 07 Aug
  • Guzman y Gomez Mexican Kitchen
  • Central Coast Council

Late Night Crew members could be anywhere from 6pm - midnight any day of the week. You could be rolling burritos on the line, helping kitchen out the back, handling dishes, or greeting customers. 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 Engineer-EOI (Brisbane City)

Project Engineer-EOI (Brisbane City)

07 Aug
|
Martinus Rail
|
Brisbane City
  • 07 Aug
  • Martinus Rail
  • Brisbane City

Join Martinus and help deliver the next generation of rail infrastructure across Southeast Queensland… Martinus is seeking Expressions of Interest from experienced Project and Site Engineers who a [...]

Territory Manager South West WA (City of Canada Bay Council)

Territory Manager South West WA (City of Canada Bay Council)

07 Aug
|
The Arnott's Group
|
City of Canada Bay Council
  • 07 Aug
  • The Arnott's Group
  • City of Canada Bay Council

At The Arnott’s Group, we make some of Australia and New Zealand’s most loved brands. For more than 160 years, we’ve built a strong legacy through products people genuinely know and buy - from A [...]

Subscribe to this job alert:

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