2 virtualization "https:" "https:" "https:" "https:" "https:" "https:" "https:" Fellowship positions at UNIVERSITY OF SURREY

Senior Research Fellow on Agentic AI and Verification

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 12 days ago

Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA):  https://agentic-sel4.github.io/ The project

Senior Research Fellow on Agentic AI and Verification

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 26 days ago

Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA):  https://agentic-sel4.github.io/ The project