Company: The University of Sheffield
Location: Sheffield
Job Description:
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…
Posted: October 8th, 2026