657 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
- University of Liverpool
- King's College London
- AALTO UNIVERSITY
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- ; University of Cambridge
- Aston University
- Imperial College London
- University of Birmingham
- University of Nottingham
- University of Oxford;
- ; University of Oxford
- Medical Research Council
- Swansea University
- ; Technical University of Denmark
- ; The Francis Crick Institute
- ; University of Copenhagen
- 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
- ; King's College London
- ; Royal Holloway, University of London
- ; University of Dundee
- ; University of Exeter
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Heriot-Watt University;
- Kingston University
- Lancaster 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
- 45 more »
- « less
-
Field
- Biology
- Computer Science
- Medical Sciences
- Chemistry
- Economics
- Mathematics
- Materials Science
- 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
-
Aalto University is where science and art meet technology and business. We shape a sustainable future by making research breakthroughs in and across our disciplines, sparking the game changers
-
The Royal Veterinary College, University of London; | Potters Bar, England | United Kingdom | about 9 hours 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
-
Postdoctoral Researcher in Machine Learning of Isomerization in Porous Molecular Framework Materials
broad range of applications. Computational chemistry and Machine Learning increasingly underlies MFM research to search or screen candidate MFMs prior to synthesis. A major drawback when applying
-
learning, at the intersection of reinforcement learning, deep learning and computer vision, in order to train effective robotic agents in simulation. You should hold a relevant PhD/DPhil (or near completion
-
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
-
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
-
, 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
-
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