3 microsystem-"https:"-"https:"-"https:"-"https:" research jobs at UNIVERSITY OF SURREY

Senior Research Fellow on Agentic AI and Verification

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 25 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 | about 1 month 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 Software Engineer in Sandboxing Agentic AI

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

proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ Key responsibilities include: Researching and developing software aligned to Work Package 2 of the