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
Full job description from WhatJobs. Apply for this role →
Guildford
Organisation/Company UNIVERSITY OF SURREY Research Field Educational sciences Researcher Profile Recognised Researcher (R2) First Stage Researcher…
London
What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify?
Oxford
What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs?
Oxford
What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs?
Glasgow
What if your deepest mathematical knowledge could directly shape how AI reasons about truth, proof, and logic?
City of Edinburgh
What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof?
Explore: Software Developer jobs in Guildford Software Developer jobs in the UK Engineering recruitment Specialist jobs in Guildford
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.