1 agent-based-modeling-"https:" Fellowship positions at UNIVERSITY OF SURREY

Senior Research Fellow on Agentic AI and Verification

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

proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project, joint with Andrei Popescu at the University of Sheffield and Toby Murray at the University