Senior Research Software Engineer in Sandboxing Agentic AI in Guildford

Senior Research Software Engineer in Sandboxing Agentic AI

The University of Surrey is a global community of ideas and people, dedicated to life-changing education and research.

We are ambitious and have a bold vision of what we want to achieve - shaping ourselves into one of the best universities in the world, which we are achieving through the talents and endeavour of every employee.

Our culture empowers people to achieve this aim and to collectively, and individually, make a real difference.

We are looking to recruit a Senior Research Software Engineer for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/

Key responsibilities include:

• Researching and developing software aligned to Work Package 2 of the Agentic-seL4 project (see webpage above).
• Working closely with members of the team on the research, development and deployment of software tools and technologies.
• Pursuing and advocating responsible and open AI research and innovation to ensure ethical, fair and inclusive advances in science, technology and use of AI and data.
• Developing new concepts and ideas to extend intellectual understanding. Assessing, interpreting and evaluating the outcomes of research, and developing ideas for the application of research outcomes.
• Contributing to IP protection and/or open-source release of AI tools and technologies.

A full list of responsibilities can be found in the job description below.

This is a fixed-term position until November 2027, and we are looking for a candidate to start with us as soon as possible. We have substantial funding for access to state-of-the-art AI models and computing infrastructure.

About you

We are interested in candidates with expertise in one or more of interactive theorem proving, formal verification, information-flow security, seL4, neurosymbolic AI, and AI-assisted reasoning. Candidates do not need to cover all these areas: the researchers can focus on different parts of the project according to their expertise.

Particular preference will be given to candidates with strong Isabelle/HOL expertise (or substantial experience with related interactive theorem provers), and to candidates who are available to start as soon as possible. We would also be very interested in hearing from excellent Isabelle researchers who may be at an earlier career stage than would normally be expected for a Senior Researcher position.

There will also be closely related positions at our partner institutions. For opportunities at the University of Sheffield, please contact Andrei Popescu ( a.popescu@sheffield.ac.uk ); for opportunities at the University of Melbourne, please contact Toby Murray ( toby.murray@unimelb.edu.au ).

• In return we offer a generous pension
• relocation assistance where appropriate
• flexible working options including job share and blended home/campus working locations (dependent on work duties)
• access to world-class leisure facilities on campus
• a range of travel schemes
• supportive family friendly benefits including an excellent on-site nursery

The University of Surrey is committed to providing an inclusive environment that offers equal opportunities for all. We place great value on diversity and are seeking to increase the diversity within our community. Therefore we particularly encourage applications from under-represented groups, such as people from Black, Asian and minority ethnic groups and people with disabilities.