2 tracking-"https:"-"https:"-"https:"-"https:"-"https:" "UCL;" Fellowship positions at UNIVERSITY OF SURREY

Senior Research Fellow on Agentic AI and Verification

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 15 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 | 29 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