Postdoctoral Research Fellow - AI Security & Formal Methods (Parkville)

Postdoctoral Research Fellow - AI Security & Formal Methods (Parkville)

26 Sep
|
UOM University of Melbourne
|
Parkville

26 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.

Legal Counsel, Commercial Contracting (Melbourne)

Legal Counsel, Commercial Contracting (Melbourne)

27 Sep
|
Future Fund Australia
|
Melbourne
  • 27 Sep
  • Future Fund Australia
  • Melbourne

Job Application Due Date 10/10/2026 About Future Fund At the Future Fund, we’re for future minds – like yours. The new investors and creators who thrive on different thinking and doing it to [...]

Strategic Fleet Asset Lead (Sydney)

Strategic Fleet Asset Lead (Sydney)

27 Sep
|
CDC NSW
|
Sydney
  • 27 Sep
  • CDC NSW
  • Sydney

CDC NSW is seeking a dynamic Project Manager to join our Asset Management team across Sydney depots. This ongoing, full-time role reports to the GM - Asset Management and provides senior leadership ac [...]

Subscribe to this job alert:

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

Senior Finance & CFO Advisory Consultant (Canberra)

Senior Finance & CFO Advisory Consultant (Canberra)

27 Sep
|
Callida
|
Canberra
  • 27 Sep
  • Callida
  • Canberra

Callida, a Canberra-based consulting firm, seeks experienced Senior Consultants and Principal Consultants to join our CFO Advisory team. You will work with Australian Government clients to solve compl [...]

AU/NZ Payroll Lead: Optimize & Ensure Compliance (Melbourne)

AU/NZ Payroll Lead: Optimize & Ensure Compliance (Melbourne)

27 Sep
|
Yarra City Council
|
Melbourne
  • 27 Sep
  • Yarra City Council
  • Melbourne

Yarra City Council in Melbourne, VIC, is seeking a hands-on Payroll Manager to lead a small team and oversee end-to-end payroll across Australia and Current Zealand. You will ensure accurate process [...]

Subscribe to this job alert:

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