677 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
- DURHAM UNIVERSITY
- University of London
- Durham University
- University of Liverpool
- UNIVERSITY OF VIENNA
- University of Glasgow
- AALTO UNIVERSITY
- University of Cambridge
- Nature Careers
- King's College London
- Aston University
- University of Manchester
- Heriot Watt University
- University of Bristol
- University of Reading
- ; University of Oxford
- Loughborough University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Manchester Metropolitan University
- Swansea University
- ; Durham University
- St George's University of London
- ; The University of Edinburgh
- Harper Adams University
- Imperial College London
- Lancaster University
- ROYAL HOLLOWAY, UNIVERSITY OF LONDON
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- UNIVERSITY OF OXFORD - NUFFIELD COLLEGE
- UNIVERSITY OF SOUTHAMPTON
- UNIVERSITY OF STRATHCLYDE
- University of Hull
- University of Leicester
- University of Newcastle
- ; Ecole polytechnique federale de Lausanne - EPFL
- ; Max Planck Society
- ; University of Cambridge
- ; University of Reading
- Birmingham City University
- Cardiff University
- City University London
- John Innes Centre
- Liverpool John Moores University
- NEW UZBEKISTAN UNIVERSITY
- Queens' College Cambridge
- The Francis Crick Institute
- UK Dementia Research Institute
- UNIVERSITY OF SURREY
- UNIVERSITY OF THE WEST OF SCOTLAND
- University College London
- University of Bath
- University of Leeds
- University of Lincoln
- University of Nottingham
- University of Surrey
- 48 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Chemistry
- Economics
- Mathematics
- Science
- Engineering
- Psychology
- Social Sciences
- Materials Science
- Humanities
- Electrical Engineering
- Linguistics
- Environment
- Business
- Philosophy
- Earth Sciences
- Physics
- Arts and Literature
- Law
- Sports and Recreation
- 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
-
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
-
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
-
1 Mar 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Computer science Mathematics Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country
-
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
-
39 Faculty of Computer Science Startdate: 01.03.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 29.02.2028 Reference no.: 3632 Explore and