Senior Research Software Engineer – AI Theorem Proving

The University of Surrey invites applications for a Senior Research Software Engineer to work on Agentic-seL4 and AI-assisted theorem proving. The role focuses on formal verification, information-flow security, and related AI research, with emphasis on Isabelle/HOL expertise.

The position supports flexible, hybrid working arrangements and access to state-of-the-art computing resources. Ideal candidates will bring strong background in interactive theorem proving and formal verification, with

#J-18808-Ljbffr…