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
Senior Research Software Engineer - AI Theorem Proving 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.
