157 formal-verification-computer-science Postdoctoral positions at University of Oxford
Sort by
Refine Your Search
-
choice theory, or computational modelling. This post is based at the Department of Computer Science and on-site working is required. Remote and part-time working is possible in agreement with Professor
-
developing formalisms for their interpretation (GMC structure, dynamical state, lifetime, formation, evolution), and/or ii) weighing the supermassive black holes lurking at galaxy centres using molecular gas
-
applicant. Access to high-performance computing facilities and cloud-based quantum hardware will be provided to support simulation and verification of theoretical methods. About you The successful candidate
-
explores novel aggregation methods at the intersection of AI safety, computational social choice, and judgment aggregation, aiming to formally integrate multi-stakeholder preferences into AI system design
-
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
-
Machine Learning, Human-Computing Interactions, Social Sciences, and Public Health. Applicants should hold, or be close to completion of, PhD/DPhil with research experience in computer science, statistics
-
Institute for Molecular and Computational Medicine (IMCM). You will test GSK assets and targets in established models of podocyte and mesangial cell pathology relevant to glomerular diseases. You will
-
for identification of discriminative spatial interactions of therapeutic response, and develop skills in computational biology and mathematical spatial analysis via independent study and training courses. It is
-
of agentic behaviour and publishing high-impact research. Candidates should possess a PhD (or be near completion) in PhD in Computer Science, AI, Security, or a related field. You will have a Strong background
-
engineering, computer science or other field relevant to the proposed area of research. You should have a good track record of robotic publications/presentations in the field of healthcare, possess sufficient