23 Oct
|
UOM University of Melbourne
|
Parkville
23 Oct
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
📌 Postdoctoral Research Fellow (Parkville)
🏢 UOM University of Melbourne
📍 Parkville