UO
University of Surrey
Active VacancySenior Research Fellow on Agentic AI and Verification
Guildford, UK
Fixed-term / Full-time
Visa: Not specified
Location
Guildford, UK
Salary / Pay
£47,389 - £51,753 per annum
Visa
Not specified
Employment
Fixed-term / Full-time
Posted
2026-09-08
Closing Date
2026-09-14
Job Overview
Senior research role on formal verification, seL4 security and AI-assisted theorem proving, contributing to a project focused on agentic AI and secure software systems.
Required Skills & Qualifications
Agentic AIArtificial IntelligenceFormal VerificationCyber SecurityAI-assisted Theorem ProvingSoftware SecurityResearch
Ready to apply for this position?
Submit your application directly through the employer's external job portal.