Senior Research Software Engineer-AI & Formal Verification

University of Surrey; Guildford; On-site; GBP 55,000 - 75,000; Full time

Job summary

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.

Qualifications

• Candidates with expertise in interactive theorem proving, formal verification, information-flow security, seL4, neurosymbolic AI, and AI-assisted reasoning.

Responsibilities

• Researching and developing software aligned to Work Package 2 of the Agentic-seL4 project.
• Work closely with team members on research, development and deployment of software tools and technologies.
• Pursue responsible and open AI research to ensure ethical, fair and inclusive advances in AI and data.

Skills

Theorem proving

Formal verification

Isabelle/HOL

AI-assisted reasoning

Security & seL4

Job description

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.