Application details are incomplete. Check the source carefully before applying; this page is not included in search indexing.
Hiring organization: University of Melbourne
Computer SciencePostdocAustralia
Melbourne University is hiring:
Postdoctoral Research Fellow in Secure AI Containment
#postdoc #ai #computerscience
---
Job ID: JR-018549
Extract: The University of Melbourne is seeking a Postdoctoral Research Fellow to work on secure containment for AI agents using formally verified seL4-based reference monitors. The role involves developing AI-assisted verification techniques and supervising students.