638 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Employer
- University of Oxford
- ;
- KINGS COLLEGE LONDON
- UNIVERSITY OF VIENNA
- University of London
- University of Cambridge
- Durham University
- DURHAM UNIVERSITY
- King's College London
- AALTO UNIVERSITY
- University of Liverpool
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- University of Nottingham
- University of Oxford;
- Aston University
- Imperial College London
- University of Birmingham
- ; University of Cambridge
- Swansea University
- Cardiff University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Queen Mary University of London
- Royal College of Art
- University of Bath
- University of Manchester
- University of Sheffield
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- ; University of Oxford
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Heriot-Watt University;
- John Innes Centre
- King's College London;
- Kingston University
- Lancaster University
- Medical Research Council
- Nanyang Technological University
- Oxford Brookes University
- Sheffield Hallam University
- St George's University of London
- The Royal Veterinary College, University of London;
- University of Cambridge;
- University of Dundee;
- University of Essex;
- University of Glasgow
- University of Hull
- University of Leicester
- University of Lincoln
- University of Newcastle
- University of Reading
- University of Sussex
- University of West London
- 50 more »
- « less
-
Field
- Biology
- Computer Science
- Medical Sciences
- Chemistry
- Economics
- Materials Science
- Mathematics
- Social Sciences
- Engineering
- Humanities
- Psychology
- Science
- Linguistics
- Earth Sciences
- Law
- Arts and Literature
- Environment
- Business
- Physics
- Electrical Engineering
- Sports and Recreation
- Philosophy
- 12 more »
- « less
-
research deadlines. The post will be based in the Department of Chemistry, Chemistry Research Laboratory, 12 Mansfield Road, Oxford, OX1 3TA and is available from 1 September 2025. Application Process
-
), and their research teams in the Quantum Light and Matter group. The overarching goal of the research is to synthesise and study artificial quantum materials using ultracold CsYb molecules arranged in
-
membership for our state of the art sport and gym facilities and access to a 24-7 Employee Assistance Programme. • On site nursery is available plus access to holiday camps for children aged 5-16
-
years. For informal enquiries contact: Dr Daniel Williamson (daniel.williamson@ncl.ac.uk ) and/or Dr Rebecca Hill (rebecca.hill@ncl.ac.uk ). Find out more about the Faculty of Medical Sciences here: https
-
Disclosure and Barring Service Requirement: Not Applicable. Durham University Durham University is one of the world's top universities with strengths across the Arts and Humanities, Sciences and Social
-
, including but not limited to Earth Sciences, Physics, Mathematics and Engineering, together with relevant experience. You will possess sufficient specialist knowledge in either volcanic plume dynamics and/or
-
including discounted membership for our state of the art sport and gym facilities and access to a 24-7 Employee Assistance Programme. • On site nursery is available plus access to holiday camps
-
, interdisciplinary research agenda. Our work spans five interwoven streams – policing, law and policy, human behaviour, technology, and design – to produce collaborative outputs and interventions that inform national
-
PREVIOUS APPLICANTS NEED NOT TO APPLY! We are seeking to appoint a Senior Postdoctoral Researcher in Genomics of Myeloid Disorders to join the computational genomics group led by Prof Schuster
-
to develop coupled sub-models within a system dynamics framework. Working with colleagues from the Karlsruhe Institute of Technology, the candidate will build a behavioural sub-model using the CRAFTY GB model