The University of Melbourne is seeking a Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow to join the Faculty of Engineering and Information Technology. The role focuses on securing AI agents using formally verified seL4-based reference monitors and developing AI-assisted verification techniques.
You will publish high-quality research, contribute to Isabelle/HOL proof engineering, supervise students, and collaborate with national and international partners across academia,
#J-18808-Ljbffr
📌 AI Containment & Formal Methods Research Fellow (Melbourne)
🏢 University Of Melbourne
📍 Melbourne
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.