640 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
- AALTO UNIVERSITY
- King's College London
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- ; University of Oxford
- ; University of Cambridge
- Aston University
- Imperial College London
- University of Birmingham
- University of Nottingham
- Swansea University
- University of Glasgow
- ; University of Copenhagen
- Cardiff University
- Medical Research Council
- Nottingham Trent University
- Oxford Brookes University
- Royal College of Art
- University of Bath
- University of Manchester
- University of Sheffield
- ; King's College London
- ; Queen Mary University of London
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; The Francis Crick Institute
- ; The University of Manchester
- ; University of Dundee
- ; University of Exeter
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Kingston University
- Lancaster University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Sheffield Hallam University
- St George's University of London
- University of Hull
- University of Leicester
- University of Lincoln
- University of Newcastle
- University of Reading
- University of West London
- 43 more »
- « less
-
Field
-
networks. This position is part of a UK-Canada Quantum for Science collaborative project "Quantum network applications in theory and practice" funded by STFC/EPSRC (UK) and NSERC (Canada), led by Professor
-
About the Role Barocaloric solid-state cooling is a promising new technology that has potential to dramatically reduce the carbon cost of cooling and refrigeration. In an EPSRC-funded collaboration
-
Faculty/Directorate Faculty of Health, Science, Social Care & Education School/Function School of Life Sciences, Pharmacy and Chemistry Contract type Fixed Term Contract Location of vacancy Penrhyn
-
networks. This position is part of a UK-Canada Quantum for Science collaborative project "Quantum network applications in theory and practice" funded by STFC/EPSRC (UK) and NSERC (Canada), led by Professor
-
Job id: 122805. Salary: £45,031 - £48,607 per annum inclusive of London Weighting Allowance. Posted: 18 August 2025. Closing date: 25 August 2025. Business unit: Faculty of Life Sciences
-
- Research Assistant Division of Psychological Medicine and Clinical Neuroscience School of Medicine College of Biomedical and Life Sciences We are looking for a Research Assistant to join the Dr Gaynor Smith
-
at the Barts Cancer Institute (Queen Mary University of London). This role will involve analysing existing spatial-omics data sets and developing novel computational tools to understand the risk of developing
-
. The position is associated with a project funded by the EURAMET - the metrology component of the European Union Horizon 2020 Programme. The post holder will be expected to display the initiative and creativity
-
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
-
at the Barts Cancer Institute (Queen Mary University of London). This role will involve analysing existing spatial-omics data sets and developing novel computational tools to understand the risk of developing