556 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
- University of Oxford;
- University of London
- King's College London
- KINGS COLLEGE LONDON
- University of Liverpool
- DURHAM UNIVERSITY
- Durham University
- Nature Careers
- University of Cambridge;
- Heriot Watt University
- AALTO UNIVERSITY
- ;
- Durham University;
- Imperial College London
- LIVERPOOL JOHN MOORES UNIVERSITY
- Queen Mary University of London;
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- St George's University of London
- University of Liverpool;
- University of Reading;
- Aston University
- University of Reading
- Aarhus University
- Cardiff University
- European Magnetism Association EMA
- Imperial College London;
- John Innes Centre, Norwich;
- Lancaster University
- University of Bristol
- University of Glasgow
- University of Manchester
- University of Newcastle
- University of York;
- Aston University;
- Newcastle University;
- St George's, University of London;
- UNIVERSITY OF EAST LONDON
- UNIVERSITY OF HELSINKI
- University of Birmingham
- University of Exeter;
- University of Hull;
- University of Leicester
- University of Nottingham
- VIN UNIVERSITY
- jobs.ac.uk
- Anglia Ruskin University;
- Bournemouth University;
- Edge Hill University;
- Ellison Institute of Technology, Oxford Limited
- Georgetown University
- King's College London;
- Liverpool John Moores University;
- Loughborough University
- Lund University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Medical Research Council
- Oxford Brookes University;
- Queen Mary University of London
- Queen's University Belfast
- Rashid Ganiev
- Royal Horticultural Society;
- SOAS University of London;
- Scotland's Rural College (SRUC);
- Sheffield Hallam University;
- Technical University of Denmark
- The University of Edinburgh;
- The University of Manchester;
- University for the Creative Arts
- University of Bath
- University of Bradford;
- University of Dundee;
- University of East London
- University of Exeter
- University of Glasgow;
- University of Greenwich
- University of Lincoln
- University of Sheffield
- University of Southern Denmark
- 70 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Chemistry
- Economics
- Engineering
- Science
- Mathematics
- Materials Science
- Humanities
- Psychology
- Earth Sciences
- Social Sciences
- Linguistics
- Business
- Law
- Environment
- Education
- Physics
- Electrical Engineering
- Philosophy
- Sports and Recreation
- Arts and Literature
- Design
- 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
-
administration and organisation. We are looking for a Postdoc in Atmospheric Transport Modelling 53 Faculty of Earth Sciences, Geography and Astronomy Startdate: 01.04.2025 | Working hours: 40 | Collective
-
Presentation Scope All schools History News 2026 School Introduction Registration Program Recordings Questions Committees Sponsors Contacts Repository Lectures by topic Lectures by author Search lectures 2025
-
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
-
for carrying out research on the European Research Council Project METACOMP on “Meta-Complexity: A Unified Approach to the Complexity of Proofs and Computation”, with Rahul Santhanam as Principal Investigator
-
impact? We are currently seeking a/an University Assistant postdoctoral 49 Faculty of Social Sciences Startdate: 05.05.2026 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b
-
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