2 interactive-computing Fellowship positions at UNIVERSITY OF SURREY

Senior Research Fellow on Agentic AI and Verification

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | 18 days ago

and refactoring the seL4 Isabelle/HOL proof base. The Surrey positions are full-time fixed-term until November 2027. We have substantial funding for access to state-of-the-art AI models and computing

Research Fellow in Quantum Computing

UNIVERSITY OF SURREY | United Kingdom, | United Kingdom | about 2 months ago

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