156 software-formal-method-phd Postdoctoral positions at University of Oxford in United Kingdom
Sort by
Refine Your Search
-
the tree of life. The main responsibilities will be to identify ancient gene families that encode membrane proteins and then use a range of phylogenomic methods to understand their ancestry. These analyses
-
, available for up to 30 months, tenable immediately, to conclude before May 31st 2028. Intelligent agents have a venerable history in AI: since the 1980s the problem of how to build hardware and/or software
-
, delivering tested methods, and creating algorithms to expand MMFM capabilities across domains like cardiology, geo-intelligence, and language communication. The postholder will help lead a project work package
-
will also contribute to or write research articles at an international level for peer-reviewed journals. You will be responsible for formally presenting your research and represent the research group
-
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
-
), 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
-
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
-
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
-
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