The University of Surrey invites applications for two Senior Research Associate positions on a project about formal verification and AI-assisted theorem proving, working on seL4 security. The roles are fixed-term until November 2027 with strong funding for AI models and infrastructure.
Candidates with Isabelle/HOL expertise and strong background in interactive provers are preferred, and an ability to start soon is highly desirable. Opportunities also exist at partner universities.
#J-18808-Ljbffr
Senior Research Fellow: Agentic AI & Formal Verification in Guildford employer: University of Surrey
The University of Surrey is an exceptional employer, offering a dynamic work environment that fosters innovation and collaboration within the IT Services team. With a strong commitment to employee development, you will have access to numerous growth opportunities while contributing to impactful digital transformation projects in a vibrant academic setting. Enjoy the benefits of a hybrid working model, competitive remuneration, and a culture that values diversity and inclusion.
