639 proof-checking-postdoc-computer-science-logic Postdoctoral positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Oxford
- ;
- UNIVERSITY OF VIENNA
- KINGS COLLEGE LONDON
- University of London
- Durham University
- University of Cambridge
- DURHAM UNIVERSITY
- King's College London
- University of Liverpool
- AALTO UNIVERSITY
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- Aston University
- Imperial College London
- University of Birmingham
- University of Nottingham
- ; University of Cambridge
- Medical Research Council
- Swansea University
- University of Oxford;
- ; University of Copenhagen
- ; University of Oxford
- Cardiff University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Oxford Brookes University
- Royal College of Art
- University of Bath
- University of Glasgow
- University of Manchester
- University of Sheffield
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; University of Dundee
- ; University of Exeter
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Heriot-Watt University;
- Kingston University
- Lancaster University
- Nanyang Technological University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Sheffield Hallam University
- St George's University of London
- The Royal Veterinary College, University of London;
- University of Hull
- University of Leicester
- University of Lincoln
- University of Newcastle
- University of Reading
- University of West London
- 44 more »
- « less
-
Field
- Biology
- Computer Science
- Medical Sciences
- Chemistry
- Economics
- Materials Science
- Mathematics
- Engineering
- Humanities
- Psychology
- Science
- Linguistics
- Social Sciences
- Earth Sciences
- Arts and Literature
- Law
- Environment
- Business
- Physics
- Electrical Engineering
- Sports and Recreation
- Philosophy
- 12 more »
- « less
-
are invited for a Postdoctoral Research Associate in the field of agent-based modelling of past societies, working on the Science, Society and Environmental Change in the First Millennium CE (SSE1K) project
-
Leedham (colorectal cancer biology), Dan Woodcock (cancer genomics), Helen Byrne (mathematical modelling), and Jens Rittscher (computational pathology and imaging AI), offering a unique opportunity to work
-
The Royal Veterinary College, University of London; | Potters Bar, England | United Kingdom | 3 days ago
). This post will focus on using detailed wing geometry models and free flight kinematic measurements in computational fluid and structural dynamics simulations to recover dynamic strain and flow fields
-
neuroscience, with the aim of improving mental health outcomes in both non-clinical and clinical populations. We are based at the MRC Cognition and Brain Sciences Unit, University of Cambridge, a world-leading
-
Leedham (colorectal cancer biology), Dan Woodcock (cancer genomics), Helen Byrne (mathematical modelling), and Jens Rittscher (computational pathology and imaging AI), offering a unique opportunity to work
-
scholars in Law and two PhD students (one in Law and one in Computer Science/Data Analytics), as well as with international, European and national stakeholders involved in the CURE project. The post-holder
-
, biochemistry and evolution of the Starship transposons in plant pathogenic fungi. We are seeking creative and ambitious scientists to lead any of the three following research themes: Starship diversity and
-
Location: Parks Road, Oxford, OX1 3PJ About the role Dr Zhenyu Cai’s research group in the Department of Engineering Science seeks a highly motivated and exceptionally talented quantum theorist
-
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
-
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