673 proof-checking-postdoc-computer-science-logic Postdoctoral positions in United Kingdom
Sort by
Refine Your Search
- 
                Listed
 - 
                Category
 - 
                Employer
- University of Oxford
 - KINGS COLLEGE LONDON
 - UNIVERSITY OF VIENNA
 - DURHAM UNIVERSITY
 - University of Oxford;
 - ;
 - King's College London
 - Durham University
 - University of London
 - AALTO UNIVERSITY
 - The University of Edinburgh;
 - University of Liverpool
 - University of Liverpool;
 - Heriot Watt University
 - Aston University
 - King's College London;
 - University of Exeter;
 - University of Reading
 - SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
 - Nature Careers
 - University of Cambridge;
 - University of Nottingham
 - Aston University;
 - Durham University;
 - Imperial College London
 - Swansea University
 - University of Glasgow
 - University of Glasgow;
 - University of Manchester
 - University of Wolverhampton
 - University of Wolverhampton;
 - Atlantic Technological University
 - CZECH UNIVERSITY OF LIFE SCIENCES
 - City University London
 - Heriot-Watt University;
 - Imperial College London;
 - John Innes Centre
 - Manchester Metropolitan University
 - Northumbria University;
 - Queen Mary University of London;
 - UCL;
 - UNIVERSITY OF READING
 - University of Cambridge
 - University of Dundee;
 - University of Exeter
 - University of Leeds
 - University of Newcastle
 - University of Nottingham;
 - University of Reading;
 - University of Sheffield
 - University of York;
 - ; University of Cambridge
 - ; University of Copenhagen
 - Atlantic Technological University;
 - Bournemouth University;
 - Brunel University
 - Charles University;
 - Diamond Light Source;
 - Ellison Institute of Technology, Oxford Limited
 - Harper Adams University
 - Harper Adams University;
 - Kingston University
 - Lancaster University
 - MOHAMMED VI POLYTECHNIC UNIVERSITY
 - Magdalen College, Oxford;
 - Medical Research Council
 - NORTHUMBRIA UNIVERSITY
 - Nottingham Trent University
 - Oxford Brookes University
 - Oxford Brookes University;
 - Royal College of Art;
 - SOAS University of London;
 - Sheffield Hallam University
 - Technical University of Denmark
 - The Royal Veterinary College, University of London;
 - The University of Manchester;
 - University of Bath
 - University of Bradford;
 - University of Essex;
 - University of Greenwich
 - University of Kent;
 - University of Leicester
 - University of London;
 - University of Sheffield;
 - University of West London
 - Utrecht University
 - jobs.ac.uk
 - 77 more »
 - « less
 
 - 
                Field
 
- 
                
                
                
Applications are invited for a Postdoctoral Research Assistant in Ion Trap Quantum Computing. The post is available initially for a fixed-term duration of 3 years, with the possibility of extension
 - 
                
                
                
Applications are invited for a Postdoctoral Research Associate in Evolutionary Developmental Biology with a particular emphasis on the genetic basis of differences in organ size Drosophila
 - 
                
                
                
O’Brien’s research groups at the Department of Engineering Science (Central Oxford). The post is fixed term for two years and is funded by the EPSRC. The development of large-scale quantum computers will
 - 
                
                
                
Postdoctoral Research Associate in Evolutionary Developmental Biology ( Job Number: 25001024) Department of Biosciences Grade 7: - £38,784 - £46,049 per annum Fixed Term - Full Time Contracted Hours
 - 
                
                
                
Description of Post ATU’s JANUS Research Centre for HPC, AI and Emerging Technologies is seeking a highly motivated Senior AI Engineer (PostDoc PD2) for ATU’s AI Engineering team within the EU
 - 
                
                
                
Description of Post ATU’s JANUS Research Centre for HPC, AI and Emerging Technologies is seeking a highly motivated AI Engineer (PostDoc PD1) for ATU’s AI Engineering team within the EU-funded
 - 
                
                
                
Are you passionate about taking a lead role in a cutting-edge project at the intersection of genomics, computational biology, and haematological cancer? We have an exciting opportunity for a Senior
 - 
                
                
                
be finalised by July 2026. Supported Areas for START Engineering Energy Resilience: Power electronic converters for distributed energy resources and microgrids; High voltage DC transmission and
 - 
                
                
                
associate with expertise in data science to join the King’s BHF Centre of Research Excellence and contribute to a growing cardio-immunology research programme. Inflammation is increasingly recognised as a key
 - 
                
                
                
biochemical reconstitution, electron cryomicroscopy (cryo-EM), advanced bacterial genetics, and phage biology to explore how cells and viruses control the three-dimensional structure of DNA. We investigate how