-
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
-
that showcases the incredible experiences taking place across our facilities. Whether it's highlighting student success, promoting a new fitness programme, supporting a major sporting event or sharing community
-
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
-
the monitoring and evaluation of the programme. The post will also support with social media and certain administrative tasks. About you We are looking for a well organised, enthusiastic individual with