173 formal-verification-computer-science Postdoctoral research jobs at University of Oxford
Sort by
Refine Your Search
-
We are seeking an enthusiastic and motivated Postdoctoral Research Assistant in Cancer Biology to join the GO-PRECISE CRC-VAX project, a highly exciting initiative funded by GlaxoSmithKline (GSK
-
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
-
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
-
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
-
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
-
computational sciences, decision-maker education campaigns, and training the next generations of technology governance leaders. It is one of the few organisations in the world to focus on the governance of AI
-
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 (central Oxford). The post is funded by the EPSRC research funds and is fixed-term for up to one year. The successful applicant will have experience on using sequential decision-making methods
-
We are seeking five full-time Postdoctoral Research Assistants to join the Computational Health Informatics Lab at the Department of Engineering Science, based at the Institute of Biomedical
-
on evaluating the abilities of large language models (LLMs) of replicating results from the arXiv.org repository across computational sciences and engineering. You should have a PhD/DPhil (or be near completion