18 proof-checking-postdoc-computer-science-logic Fellowship positions at UNIVERSITY OF SURREY
Sort by
Refine Your Search
-
or programming skills or candidates with an applied Mathematics, Computer Science or AI background looking to move towards Engineering. What we can offer In addition to salary, we offer a generous annual leave
-
29 Jul 2026 Job Information Organisation/Company UNIVERSITY OF SURREY Research Field Computer science Engineering Mathematics Researcher Profile Recognised Researcher (R2) First Stage Researcher (R1
-
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
-
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
-
and distributed across digital platforms. The research will build on Surrey’s world-leading work in content authenticity and media provenance. You will develop new Computer Vision, AI and multimedia
-
developing a new bioelectrochemical technology for the selective recovery of lithium from spent lithium-ion batteries. This is an exciting opportunity to contribute to research at the interface
-
30 Jul 2026 Job Information Organisation/Company UNIVERSITY OF SURREY Research Field Biological sciences Researcher Profile Recognised Researcher (R2) First Stage Researcher (R1) Established
-
individually, make a real difference. The role A postdoctoral research fellow position in the cancer care group (School of Health Sciences) is available at the University of Surrey. The position will support a
-
(ISAC) for Future 6G Radio Access Networks. This exciting opportunity will see the successful candidate work on a collaborative research project with Interdigital, addressing technology creation
-
Way are the cleanest detectors. Second, working with collaborators to exploit upcoming datasets, we will identify the most promising streams with perturbation signatures and fit these. For these fits, we will explore