The University of Melbourne invites applications for a full time, fixed-term role in secure AI containment and formal verification within the Faculty of Engineering and Information Technology. You will advance seL4-based reference monitors and AI-assisted verification techniques, collaborating with leading researchers and supervising students.
Join a world-class team, publish at top venues, contribute to grant proposals, and engage with national and international partners.