Postdoctoral Research Fellow Ai Security & Formal Methods Parkville

Postdoctoral Research Fellow Ai Security & Formal Methods Parkville

27 Sep
|
UOM University of Melbourne
|
Parkville

27 Sep

UOM University of Melbourne

Parkville

The University of Melbourne invites applications for a Full time, fixed-term Postdoctoral Research Fellow in the Faculty of Engineering and Information Technology. You will join an international project focusing on AI agents with seL4-based reference monitors and Isabelle/HOL proof engineering.

The role includes supervising students and collaborating across academia, government and industry. We seek a PhD in formal methods or automated reasoning with robust publication records and expertise in
J-18808-Ljbffr

📌 Postdoctoral Research Fellow Ai Security & Formal Methods Parkville
🏢 UOM University of Melbourne
📍 Parkville

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.

Mechanical Engineer (Perth)

Mechanical Engineer (Perth)

28 Sep
|
NDT Tech Ops
|
Perth
  • 28 Sep
  • NDT Tech Ops
  • Perth

About the Role NDT Tech Ops is a WA owned and operated business offering comprehensive non-destructive testing (NDT) services, carried out with the utmost level of expertise and professionalism by [...]

Electrical Commissioning Engineer (Melbourne)

Electrical Commissioning Engineer (Melbourne)

28 Sep
|
Cai
|
Melbourne
  • 28 Sep
  • Cai
  • Melbourne

Electrical Commissioning Engineer - DATA CENTER CAI is a skilled services company established in 1996 that supports Life Sciences and Mission Critical industries. We provide accelerated operational r [...]

Subscribe to this job alert:

Get the latest job offers by email for: postdoctoral research fellow ai security & formal methods parkville / parkville

Customer Success Manager (Adelaide)

Customer Success Manager (Adelaide)

28 Sep
|
Harrison Mcmillan
|
Adelaide
  • 28 Sep
  • Harrison Mcmillan
  • Adelaide

1 month ago Be among the first 25 applicants Harrison McMillan Pty Ltd provided pay range This range is provided by Harrison McMillan Pty Ltd. Your actual pay will be based on your skills and experi [...]

Energy Analyst - Data-Driven, Renewables & Trading (Melbourne)

Energy Analyst - Data-Driven, Renewables & Trading (Melbourne)

28 Sep
|
JD Ross Energy
|
Melbourne
  • 28 Sep
  • JD Ross Energy
  • Melbourne

An established industry player in the energy sector is seeking a dynamic Energy Analyst to join their cutting-edge team. This role offers the opportunity to work with large commercial and industrial c [...]

Subscribe to this job alert:

Get the latest job offers by email for: postdoctoral research fellow ai security & formal methods parkville / parkville