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