Senior Research Fellow on Agentic AI and Verification

University of Surrey

This role focuses on developing a formally verified reference monitor for AI agents, requiring expertise in interactive theorem proving.

Last checked on September 14, 2026. We may earn a commission when you click through.

✓ Engaging research topic with real-world implications ✓ Strong institutional support ✓ Potential for significant academic contributions

Senior Research Fellow on Agentic AI and Verification

University of Surrey

Updated 1 day ago

Apply now →

You'll be redirected to uk.talent.com

Guildford

This position is ideal for experienced researchers looking to influence the future of AI safety. However, the absence of disclosed salary details may be a concern for some applicants.

About this role

This role focuses on developing a formally verified reference monitor for AI agents, requiring expertise in interactive theorem proving.

About the Company

The University of Surrey is a leading research institution, known for its innovative approach in technology and science.

Key Highlights

✓ Opportunity to work on cutting-edge AI containment technology
✓ Engagement in a dynamic research environment
✓ Collaboration with experts in the field of AI and verification

💡 Honest Take: While the role offers a chance to work on innovative AI research, securing funding for projects can be challenging and may limit the scope of work. Candidates should be prepared for a competitive environment.

Pros

✓ Engaging research topic with real-world implications
✓ Strong institutional support
✓ Potential for significant academic contributions

Cons

✗ Salary not disclosed
✗ Funding challenges may affect project scope
✗ High competition for roles in this niche area

Best For: Suitable for those with a strong background in interactive theorem proving and a passion for AI research.

Watch Out: The role's competitive nature and lack of salary transparency may deter some applicants.

Apply for this position →

You'll be redirected to uk.talent.com

What Customers Say

Feedback from previous researchers highlights a supportive environment, though competition for resources can be intense.

Expert Review

This position requires a deep understanding of verification methods and AI control mechanisms, which can be . Candidates should be prepared for rigorous challenges in securing funding, as the university's focus on research output can lead to high-pressure situations. The collaborative environment at the University of Surrey is offering opportunities for networking and professional growth.

However, potential applicants should be aware that the competition for these roles is fierce, with many qualified candidates vying for limited positions. According to the official listing, further details on the application process and expectations can be found on the University of Surrey's careers page.