Sort by
Refine Your Search
-
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
-
group working at the intersection of uterine health, gynecologic oncology, computational biology, clinical informatics, and artificial intelligence. The lab develops and applies innovative data
-
research strengths in four key themes including Cyber Security, Interactive Systems, Computational Intelligence, and Smart Sensing, as four key research groups breaking new ground in these fields
Enter an email to receive alerts for interactive-intelligence-"https:" positions