675 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
- UNIVERSITY OF VIENNA
- University of London
- University of Cambridge
- Durham University
- University of Liverpool
- DURHAM UNIVERSITY
- King's College London
- AALTO UNIVERSITY
- Heriot Watt University
- Manchester Metropolitan University
- Nature Careers
- ; University of Oxford
- Aston University
- Imperial College London
- University of Nottingham
- ; King's College London
- University of Birmingham
- University of Glasgow
- ; University of Cambridge
- Oxford Brookes University
- Swansea University
- Cardiff University
- St George's University of London
- University of Bath
- University of Lincoln
- University of Sheffield
- ; CRUK Scotland Institute
- ; Queen Mary University of London
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; The Francis Crick Institute
- ; The University of Manchester
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Lancaster University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Medical Research Council
- Nottingham Trent University
- Royal College of Art
- Sheffield Hallam University
- University of Bristol
- University of Hull
- University of Leicester
- University of Manchester
- University of Reading
- University of West London
- 43 more »
- « less
-
Field
-
) programme . This is a fixed term position until March 2026. About STARSand HSMA and the work you will be involved with. STARS is an Open Science project that aims to increase the quantity and quality
-
View All Vacancies Reference: UOH-TA-429 Campus: Hybrid Faculty/Area: Faculty of Science and Engineering School/Department: School of Environmental Sciences Subject Group/Team: Geography and
-
choice theory, or computational modelling. This post is based at the Department of Computer Science and on-site working is required. Remote and part-time working is possible in agreement with Professor
-
: PhD or equivalent degree in Robotics, Computer Science, Machine Learning, AI, Control Engineering, or a related field. Excellent programming skills and experience with related tools and software. A
-
of climate science, statistical methodology, and computational modelling. The PROTECT project is part of the ARIA-funded programme on climate tipping points and aims to improve the scientific and statistical
-
Full-time: 35 hours per week Fixed-term: 12 months The Opportunity: We are looking for a researcher to join our group at the Centre for Science at Extreme Conditions (CSEC), belonging
-
techniques. Analyse experimental data using statistical tools and computational methods. Collaboration & Mentorship: Collaborate with interdisciplinary teams of researchers and students. Mentor graduate and
-
programme as part of the collaborative NINEDTP. The Department’s research strategy is built around five themes: Communities and Social Justice; Health and Social Theory; Higher Education and Social
-
and statistical modelling, statistical image analysis and computer vision, chemometrics, biophysics, bioengineering. Preference will be given to candidates with a demonstrated experience in applying
-
computational, a good understanding of practical molecular biology will be important. It is expected that the holder of this post will take a leading role in producing analyses for publication and dissemination