The University of Sheffield is seeking an ambitious researcher to join a major ARIA‑funded project at the intersection of Isabelle/HOL, seL4, information‑flow security, and AI‑assisted theorem proving. You will work in a collaborative international team spanning Sheffield, Surrey and Melbourne to advance formally verified security for AI agents.
The project offers substantial resources, state‑of‑the‑art AI models and computing infrastructure, with emphasis on deep Isabelle expertise and formal
#J-18808-Ljbffr
AI-Driven Formal Verification Research Fellow in Sheffield employer: The University of Sheffield
The University of Sheffield is an exceptional employer, offering a vibrant academic environment that fosters innovation and collaboration. With a strong emphasis on research and teaching excellence, employees benefit from numerous opportunities for professional development and career progression, all while contributing to impactful projects that shape the future of management education.
Contact Details:
The University of Sheffield Recruitment Team
