Sort by
Refine Your Search
-
infrastructure. About you We are interested in candidates with expertise in one or more of interactive theorem proving, formal verification, information-flow security, seL4, neurosymbolic AI, and AI-assisted
-
and computational modelling aspects of the project, extending our work on symmetry-protected quantum states in interacting many-body systems and their implementation in superconducting quantum circuits
Searches related to interactive
Enter an email to receive alerts for interactive positions