150 software-formal-method-phd Postdoctoral positions at University of Oxford in United Kingdom
Sort by
Refine Your Search
-
), to develop systems that improve the efficacy of machine learning-based technologies for healthcare applications. You must hold a PhD (or be near completion) in a field such as AI, computer science, signal
-
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
-
in Mass Spectrometry and Structural Glycobiology to work under the supervision of Prof. Weston Struwe for a period of 24 months. The project, funded by the UKRI, centres on developing advanced methods
-
methods, including Mendelian randomisation, to identify candidate mechanisms linking circadian misalignment and sleep disturbances with cardiometabolic disease. The successful applicant will join an
-
and Mind Building, South Parks Road, Oxford Applicants must hold a PhD in Microbiology and/or Molecular biology and will be responsible for providing microbiological data to facilitate the design of new
-
methods suitable for legged systems in physically-realistic simulated environments and on real robots. You should hold or be close to completion of a PhD/DPhil in robotics, computer science, machine
-
application of new methods, ensuring they are kept fully up to date with progress and difficulties in the research projects. It is essential that you hold a PhD/DPhil (or close to completion) in a quantitative
-
the aim of conducting deep exploration of cancer precursors (precancers) to identify their molecular vulnerabilities and developing methods to intercept them. The alliance is directed by Professor Sarah
-
modern privacy-enhancing technologies (e.g. based upon synthetic data or using formal differential privacy guarantees) impact research integrity and reproducibility. This is an exciting line of research
-
on transplant using multimodal medical data. You will be responsible for literature review, data cleaning, model development and implementation. You should possess a relevant PhD (or near completion) in