The University of Melbourne invites applications for a Postdoctoral Research Fellow to join the Agentic seL4 project within the Faculty of Engineering and Information Technology. You will develop AI-assisted verification techniques and contribute to Isabelle/HOL proof engineering, while supervising students and collaborating with international partners.
Ideally, you hold a PhD in formal methods or automated reasoning, with a solid publication record and expertise in interactive theorem proving,
#J-18808-Ljbffr
📌 Postdoctoral Fellow — Secure AI Verification & se (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.