Senior Research Software Engineer-AI & Formal Verification

The University of Surrey is recruiting a Senior Research Software Engineer for a project on formal verification, seL4 security, and AI-assisted theorem proving. This fixed-term role, funded for the ARIA project, invites candidates to contribute across research, development and deployment of AI tools and technologies.

Strong experience in Isabelle/HOL and interactive theorem provers is preferred, with opportunities to collaborate with partner institutions.

#J-18808-Ljbffr…