-
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
Enter an email to receive alerts for interactive-intelligence "https:" positions