567 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
- DURHAM UNIVERSITY
- KINGS COLLEGE LONDON
- King's College London
- University of Liverpool
- Durham University
- Nature Careers
- University of Cambridge;
- Heriot Watt University
- AALTO UNIVERSITY
- Queen Mary University of London;
- ;
- Durham University;
- LIVERPOOL JOHN MOORES UNIVERSITY
- Imperial College London
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- St George's University of London
- University of Liverpool;
- University of Reading;
- Aston University
- University of Reading
- University of York;
- Cardiff University
- Imperial College London;
- John Innes Centre, Norwich;
- Lancaster University
- University of Bristol
- University of Manchester
- University of Newcastle
- University of Nottingham
- Aarhus University
- Aston University;
- European Magnetism Association EMA
- Lund University
- Newcastle University;
- St George's, University of London;
- The University of Edinburgh;
- UNIVERSITY OF EAST LONDON
- UNIVERSITY OF HELSINKI
- University of Bath
- University of Birmingham
- University of Exeter;
- University of Glasgow
- University of Hull;
- University of Leicester
- University of Sheffield
- VIN UNIVERSITY
- 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
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Medical Research Council
- Oxford Brookes University;
- 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 Manchester;
- University for the Creative Arts
- University of Bradford;
- University of Dundee;
- University of East London
- University of Exeter
- University of Glasgow;
- University of Greenwich
- University of Lincoln
- jobs.ac.uk
- 68 more »
- « less
-
Field
- Computer Science
- Medical Sciences
- Biology
- Chemistry
- Economics
- Engineering
- Mathematics
- Science
- Humanities
- Materials Science
- 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 Role This is an exciting opportunity to join the Innovate UK funded project 'CHERI-Zephyr++: A memory-safe, lightweight real-time operating system for critical RISC-V embedded systems', led by Prof Oswald. The successful candidate will have the opportunity to closely work with the team of Dr...
-
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
-
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