178 formal-verification-computer-science Postdoctoral positions at University of Oxford
Sort by
Refine Your Search
-
We are seeking a full-time Postdoctoral Research Assistant in Biomedical Engineering (MRI) to join The Bulte Group in the IBME at the Department of Engineering Science (Headington). The post is
-
integrated THz technologies for THz time-domain spectroscopy and imaging. The project will unite novel nanowire THz technology from Oxford with unique custom-designed integrated circuits from project partners
-
We are currently seeking a Postdoctoral Research Associate to join our dynamic group at the Department of Biology. The Verd lab is interested in the diversity of biological form, how it is generated
-
in cilia. Transport within cilia, the cell’s signalling and sensory antennae, is central to human biology. It enables these cell-surface organelles to assemble and dynamically change their proteome in
-
The Oxford-GSK Institute of Molecular & Computational Medicine has a new and exciting opportunity for a Postdoctoral Researcher, specialising in Neuronal Dysfunction in Alzheimer’s Disease, to join
-
Reporting to the Project Co-Lead, Professor Beth Greenhough, the post holder will be responsible for carrying out research contributing the social science dimensions of the three-year MRC funded
-
We are seeking a Postdoctoral Research Associate to join the Department of Biology on a collaborative project between the Fitz-James and McLean labs investigating the molecular mechanisms of insect
-
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