Senior Research Software Engineer-AI & Formal Verification
University of Surrey
GuildfordThe 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 ac...Read More>>.
