178 formal-verification-computer-science Postdoctoral positions at University of Oxford
Sort by
Refine Your Search
-
We are seeking a full-time Postdoctoral Research Assistant to join the Dynamic Robot Systems Group, part of the Oxford Robotics Institute and the Department of Engineering Science, University
-
of Engineering Science. The post is funded by EPSRC and is fixed term to the 31st January 2027. A2I explores core challenges in AI and machine learning to enable robots to robustly and effectively operate in complex, real
-
The Department of Earth Sciences are seeking a highly motivated and skilled researcher responsible for conducting a comprehensive retrospective analysis of volcanic seismicity across Costa Rica’s
-
Postdoctoral Researcher. The group aims to identify, understand, and develop therapies for rare genetic disorders. The group is primarily computational but partners with multiple international labs (including
-
Morten Kringelbach, is seeking a Postdoctoral Researcher to join its interdisciplinary programme in contemplative science, computational neuroscience, and human flourishing. What We Offer As an employer
-
Applications are invited for a Postdoctoral Research Assistant at the John Adams Institute for Accelerator Science. The post is available for a fixed-term duration of 24 months (with a possible
-
The Department of Sociology is seeking a Postdoctoral Researcher in Demography to work broadly in the area of fertility and reproductive behaviour. Applicants with interests in both formal and
-
our website to find out more about the Department. About you The role requires a researcher with strong expertise in genomics, biostatistics, and computational biology, capable of developing and running
-
interdisciplinary research programme investigating how immune mechanisms contribute to psychiatric and neurological disorders. The project combines human induced pluripotent stem cell (iPSC)- derived neuronal and
-
Applications are invited for a Postdoctoral Research Assciate(s) in the theory of quantum systems. This post is for 2 years. This project will explore theory of quantum computing and simulation