164 formal-verification-computer-science Postdoctoral research jobs at University of Oxford
Sort by
Refine Your Search
-
Listed
-
Field
-
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
-
Applications are invited for a Postdoctoral Researcher in Health Modelling, to work with a team working with Dr Ben Amies-Cull on a research programme on the Cities for Better Health: Child Obesity
-
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
-
research programme at Oxford. Candidates should hold a PhD in biomedical engineering, computer science, medical physics, statistics, or a related field. A strong track record of first-/senior or co-author
-
strategic programme. Through multiomic and spatial biology exploration of temporally distinct samples from clinical trials and advanced biological models, an international consortium of leading colorectal
-
inference attacks, to mitigate privacy leaks in MMFM. You will hold a PhD/DPhil (or be near completion) in a relevant discipline such as computer science, data science, statistics or mathematics; expertise in
-
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
-
research environment supported by a team with broad expertise in data science, infectious diseases, hepatology, and clinical informatics. You will take a leading role in analysing large-scale, longitudinal
-
the performance of lithium ion technologies. To support the programme, the post holder will be required to carry out research on characterisation of battery degradation, with a particular focus on the application
-
have completed, or be close to completing, a PhD/DPhil in a relevant quantitative field such as computational social science, computer science, or cognitive science. They will have a demonstrable track