2 computer "https:" "https:" "https:" "https:" "https:" "https:" "https:" Fellowship positions at University of Surrey
-
-assisted theorem 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
-
-assisted theorem 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
Enter an email to receive alerts for computer "https:" "https:" "https:" "https:" "https:" "https:" "https:" positions