Postdoctoral Research Fellow Ai Security & Formal Methods Parkville (Australia)

Postdoctoral Research Fellow Ai Security & Formal Methods Parkville (Australia)

28 Sep
|
UOM University of Melbourne
|
Australia

28 Sep

UOM University of Melbourne

Australia

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 solid publication records and expertise in
J-18808-Ljbffr

📌 Postdoctoral Research Fellow Ai Security & Formal Methods Parkville (Australia)
🏢 UOM University of Melbourne
📍 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.

TAFE Services Coordinator - Young

TAFE Services Coordinator - Young

29 Sep
|
Tafe Nsw External
|
Young
  • 29 Sep
  • Tafe Nsw External
  • Young

TAFE NSW Life-Changing Careers TAFE Services Coordinator - Young Permanent Full-Time Opportunity $114,301 - $123,092 salary package - includes base salary ($100,704 - $108,449), plus employer’ [...]

Senior Physiotherapist/Exercise Physiologist – Inpatient Lead (Sydney)

Senior Physiotherapist/Exercise Physiologist – Inpatient Lead (Sydney)

29 Sep
|
Delmar Private Hospital
|
Sydney
  • 29 Sep
  • Delmar Private Hospital
  • Sydney

Delmar Private Hospital in Dee Why, NSW, seeks a Full time Permanent Senior Physiotherapist/Exercise Physiologist to lead inpatient rehab and support the MDT. You will assess, devise evidence-based in [...]

Subscribe to this job alert:

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

Metal Fabricator (Dubbo)

Metal Fabricator (Dubbo)

29 Sep
|
You Solved
|
Dubbo
  • 29 Sep
  • You Solved
  • Dubbo

Job Type: Permanent position | Full time position Job Description FULL TIME 38 HOURS PER WEEK MINIMUM 4 WEEKS ANNUAL LEAVE SALARY PLUS SUPER $79K PA - $85K PA plus super BEN FURNEY FLOUR MILLS P [...]

Growth Marketing Specialist (Melbourne)

Growth Marketing Specialist (Melbourne)

29 Sep
|
Nando'S
|
Melbourne
  • 29 Sep
  • Nando'S
  • Melbourne

Love hospitality? Obsessed with customer growth? Get excited by turning insights into sales? At Nando's, we're on a mission to grow our customer base, increase transactions and drive revenue across [...]

Subscribe to this job alert:

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