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)
🏢 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.