Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow
Core
Design and verify seL4-based reference monitors for secure AI agent containment and develop AI-assisted verification methods for large-scale formal proofs.
Role type
Senior Research Fellow (Postdoctoral)
Builds
Formally verified AI containment systems and AI-assisted verification tools
Domain
Formal methods, automated reasoning, and AI security
Deliverable
production ML models | research
Required skills
Interactive theorem proving, formal verification, security foundations, AI-assisted reasoning, large-scale proof engineering
Preferred skills
Supervising students, grant proposal writing, cross-disciplinary collaboration
Technologies
seL4, Isabelle/HOL, formal methods frameworks
Responsibilities
Design and verify seL4-based reference monitors; Develop AI-assisted verification methods and proof agents; Publish high-quality research and present at conferences; Supervise and mentor students and junior researchers; Collaborate with national and international partners on projects and grants
Seniority
Senior, hands-on IC with mentorship
