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-*****-Ljbffr
📌 Postdoctoral Research Fellow - Ai Security & Formal Methods (New South Wales)
🏢 UOM University of Melbourne
📍 New South Wales
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.