2 developer-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"Princeton" 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 developer-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"https:"-"Princeton" positions