673 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Employer
- ;
- University of Oxford
- KINGS COLLEGE LONDON
- DURHAM UNIVERSITY
- University of London
- University of Liverpool
- Durham University
- UNIVERSITY OF VIENNA
- University of Cambridge
- University of Glasgow
- AALTO UNIVERSITY
- Nature Careers
- King's College London
- Aston University
- University of Manchester
- ; University of Oxford
- Heriot Watt University
- Loughborough University
- Manchester Metropolitan University
- Swansea University
- University of Bristol
- ; Durham University
- St George's University of London
- University of Reading
- ; University of Cambridge
- City University London
- Harper Adams University
- Lancaster University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- ROYAL HOLLOWAY, UNIVERSITY OF LONDON
- UNIVERSITY OF OXFORD - NUFFIELD COLLEGE
- UNIVERSITY OF STRATHCLYDE
- University of Hull
- University of Leicester
- ; Ecole polytechnique federale de Lausanne - EPFL
- ; Trinity College Dublin, The University of Dublin
- ; University of Duisburg-Essen
- ; University of Reading
- ; University of Southampton
- ; University of Warwick
- ; Xi'an Jiaotong - Liverpool University
- Birmingham City University
- Cardiff University
- Imperial College London
- John Innes Centre
- Liverpool John Moores University
- NEW UZBEKISTAN UNIVERSITY
- Queens' College Cambridge
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- The Francis Crick Institute
- The University of Southampton
- UK Dementia Research Institute
- UNIVERSITY OF SURREY
- University College London
- University of Bath
- University of Leeds
- University of Lincoln
- University of Newcastle
- University of Nottingham
- 49 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Economics
- Chemistry
- Mathematics
- Science
- Psychology
- Engineering
- Social Sciences
- Materials Science
- Humanities
- Electrical Engineering
- Linguistics
- Business
- Environment
- Philosophy
- Earth Sciences
- Sports and Recreation
- Arts and Literature
- Law
- Physics
- Education
- 13 more »
- « less
-
Job Title: MASCIR - Postdoc in Biology of Microalgae and Cyanobacteria Job Summary MAScIR-UM6P is seeking a highly motivated and skilled postdoctoral researcher to join our interdisciplinary team
-
49 Faculty of Social Sciences Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: permanent Reference no.: 4032 Explore and
-
The Role This position is funded by EPSRC New Investigator Award: "Distributed Lov sz Local Lemma", principal investigator Dr. Peter Davies-Peck. The successful applicant will conduct research into algorithms for the Lov sz Local Lemma and related problems in distributed and parallel models....
-
74 Max Perutz Labs Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: permanent Reference no.: 3685 Explore and teach
-
the following areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, term rewriting, and parameterized complexity theory. Travel funding will be
-
(or expected to receive) a PhD in Computer Science, Mathematics, or a related discipline. Research interest and experience in the following areas will be valued: logic in computer science, database
-
18 Feb 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Computer science Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country United Kingdom
-
1 Mar 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Computer science Mathematics Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country
-
computational protein engineering with Prof Giovanni Stracquadanio and in collaboration with OccamBio Ltd. We are an interdisciplinary group based at the School of Biological Sciences interested in addressing
-
39 Faculty of Computer Science Startdate: 01.03.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 28.02.2031 Reference no.: 3662 Among the many