652 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
- UNIVERSITY OF VIENNA
- University of London
- University of Cambridge
- Durham University
- DURHAM UNIVERSITY
- University of Liverpool
- King's College London
- AALTO UNIVERSITY
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- ; University of Oxford
- Aston University
- Imperial College London
- Royal College of Art
- University of Birmingham
- University of Nottingham
- ; University of Cambridge
- Swansea University
- ; University of Kent
- Cardiff University
- Medical Research Council
- Nottingham Trent University
- Oxford Brookes University
- University of Bath
- University of Glasgow
- University of Lincoln
- University of Sheffield
- ; King's College London
- ; Nanyang Technological University
- ; Queen Mary University of London
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; The University of Manchester
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- ; University of Southern Denmark
- ; University of Sussex
- ; Xi'an Jiaotong - Liverpool University
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Kingston University
- Lancaster University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Sheffield Hallam University
- St George's University of London
- University of Hull
- University of Leicester
- University of Manchester
- University of Newcastle
- University of Reading
- University of West London
- 47 more »
- « less
-
Field
-
robots are therefore required. One of the goals of this project is to commercialise. You must have a strong computer science background and have experience in one or more of the following areas: Computer
-
Aalto University is where science and art meet technology and business. We shape a sustainable future by making research breakthroughs in and across our disciplines, sparking the game changers
-
47 Faculty of Psychology Startdate: 01.08.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: permanent Reference no.: 4052 Explore and teach
-
group, including postdocs, research assistants, technicians, and PhD and Masters project students if required. The post holder will develop quantum diamond microscopy (QDM) as a new paleomagnetic tool
-
scholars in Law and two PhD students (one in Law and one in Computer Science/Data Analytics), as well as with international, European and national stakeholders involved in the CURE project. The post-holder
-
Location: Parks Road, Oxford, OX1 3PJ About the role Dr Zhenyu Cai’s research group in the Department of Engineering Science seeks a highly motivated and exceptionally talented quantum theorist
-
, biochemistry and evolution of the Starship transposons in plant pathogenic fungi. We are seeking creative and ambitious scientists to lead any of the three following research themes: Starship diversity and
-
Postdoctoral Researcher in Machine Learning of Isomerization in Porous Molecular Framework Materials
broad range of applications. Computational chemistry and Machine Learning increasingly underlies MFM research to search or screen candidate MFMs prior to synthesis. A major drawback when applying
-
neuroscience, with the aim of improving mental health outcomes in both non-clinical and clinical populations. We are based at the MRC Cognition and Brain Sciences Unit, University of Cambridge, a world-leading
-
learning, at the intersection of reinforcement learning, deep learning and computer vision, in order to train effective robotic agents in simulation. You should hold a relevant PhD/DPhil (or near completion