156 software-formal-method-phd Postdoctoral positions at University of Oxford in United Kingdom
Sort by
Refine Your Search
-
The Kelly lab welcomes individuals with diverse career backgrounds – PhD-level scientists in any discipline with expertise in data and programming, or software engineers outside of academia looking to change
-
available data and apply causal inference methods, including Mendelian randomisation, to identify candidate mechanisms linking circadian misalignment and sleep disturbances with cardiometabolic disease
-
discoveries on the electrosolvation force. The project will use a range of optical methods to examine the interactions in colloidal and molecular systems and relate the experimental findings to theories
-
settings. We are seeking a highly motivated postdoc to conduct research into this fast-moving area. Directions may include investigating quality evaluation methods for multi-agent systems, attack surfaces
-
Institute. This role is especially suitable for someone with strong formal reasoning and data analysis skills who is considering progression to a PhD or further postdoctoral research in AI ethics, social
-
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
-
, 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
-
), 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