581 proof-checking-postdoc-computer-science-logic Postdoctoral positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Oxford
- University of Oxford;
- UNIVERSITY OF VIENNA
- University of London
- KINGS COLLEGE LONDON
- King's College London
- DURHAM UNIVERSITY
- University of Liverpool
- Durham University
- Nature Careers
- University of Cambridge;
- AALTO UNIVERSITY
- Heriot Watt University
- Queen Mary University of London;
- ;
- LIVERPOOL JOHN MOORES UNIVERSITY
- Durham University;
- Imperial College London
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- St George's University of London
- University of Liverpool;
- Aston University
- University of Birmingham
- University of Glasgow
- University of Reading;
- Cardiff University
- Imperial College London;
- John Innes Centre, Norwich;
- King's College London;
- Lancaster University
- The University of Edinburgh;
- University of Bristol
- University of Manchester
- University of Newcastle
- University of Reading
- University of York;
- Aarhus University
- Aston University;
- Bournemouth University;
- European Magnetism Association EMA
- Lund University
- Newcastle University;
- St George's, University of London;
- The Royal Veterinary College, University of London
- UNIVERSITY OF EAST LONDON
- UNIVERSITY OF HELSINKI
- University of Exeter;
- University of Hull;
- University of Leicester
- University of Nottingham
- University of Sheffield
- VIN UNIVERSITY
- Anglia Ruskin University;
- Edge Hill University;
- Ellison Institute of Technology, Oxford Limited
- Georgetown University
- Liverpool John Moores University;
- Loughborough University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Medical Research Council
- Oxford Brookes University;
- Rashid Ganiev
- Royal Horticultural Society;
- SOAS University of London;
- Scotland's Rural College (SRUC);
- Sheffield Hallam University;
- THE UNIVERSITY OF HONG KONG
- Technical University of Denmark
- The University of Manchester;
- University for the Creative Arts
- University of Bath
- University of Cambridge
- University of Dundee;
- University of East London
- University of Exeter
- University of Glasgow;
- University of Greenwich
- University of Lincoln
- jobs.ac.uk
- 69 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Chemistry
- Economics
- Engineering
- Science
- Mathematics
- Humanities
- Materials Science
- Psychology
- Earth Sciences
- Linguistics
- Social Sciences
- Business
- Law
- Environment
- Education
- Electrical Engineering
- Philosophy
- Sports and Recreation
- Arts and Literature
- Design
- Physics
- 14 more »
- « less
-
The Duarte Group works at the forefront of computational chemistry, developing predictive tools for reaction modelling and molecular design across catalysis, sustainability, and health. Alongside
-
science, with ambition to apply their own ideas, perspectives, and their personal skillset to the discovery and development of new 3D nanoscale magnetic metamaterials. We’d like you to be part of the team
-
formed Faculty of Computing, Mathematics, Engineering, and Natural Sciences (CoMENS) is undergoing significant growth at Northeastern University London. It is home to four interdisciplinary undergraduate
-
20 Jan 2026 Job Information Organisation/Company KINGS COLLEGE LONDON Research Field Computer science Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Application Deadline
-
: The successful candidate will join the Distributed AI (DAI) group in the Department of Informatics, King’s College London. They will carry out research in neuro-symbolic AI, with a focus on using generative and
-
, providing direct feedback on theory analysis and further predictions. The goal is to develop a theoretical and computational approach that has strong predictive power for finding completely new types
-
applications for two postdoc positions in optics in our institute. Deadline for receipt of applications: May 1, 2026. The candidate will work in the newly created Laboratory of Material Science, Laser, and
-
of Professor R. J. Hicken. This Engineering and Physical Sciences Research Council (EPSRC) funded post is available from 30 March 2026. The successful applicant will investigate all optical switching processes
-
Franziska Seidl Postdoc positions 123 Human Resources and Gender Equality Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: permanent Reference no.: 1988
-
work on public health interventions to reduce consumption of harmful ultraprocessed foods (UPFs). Based in the Population Health Interventions Programme, the primary role of this post is to lead