2 developer-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"HFML-FELIX" Fellowship positions at UNIVERSITY OF SURREY

Senior Research Fellow on Agentic AI and Verification

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 13 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 | 27 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