640 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
- KINGS COLLEGE LONDON
- University of London
- Durham University
- University of Cambridge
- DURHAM UNIVERSITY
- University of Liverpool
- AALTO UNIVERSITY
- King's College London
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- ; University of Oxford
- ; University of Cambridge
- Aston University
- Imperial College London
- University of Birmingham
- University of Nottingham
- Swansea University
- University of Glasgow
- ; University of Copenhagen
- Cardiff University
- Medical Research Council
- Nottingham Trent University
- Oxford Brookes University
- Royal College of Art
- University of Bath
- University of Manchester
- University of Sheffield
- ; King's College London
- ; Queen Mary University of London
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; The Francis Crick Institute
- ; The University of Manchester
- ; University of Dundee
- ; University of Exeter
- 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 Lincoln
- University of Newcastle
- University of Reading
- University of West London
- 43 more »
- « less
-
Field
-
Grade 6 Research Assistant Essential Criteria 1. A Master’s level degree (or equivalent experience) in Electrical Engineering, Energy Systems, Control Engineering, Computer Science, Artificial
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
, 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