26 Sep
|
UOM University of Melbourne
|
Melbourne
26 Sep
UOM University of Melbourne
Melbourne
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 (Melbourne)
🏢 UOM University of Melbourne
📍 Melbourne