676 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 London
- UNIVERSITY OF VIENNA
- University of Cambridge
- Durham University
- University of Liverpool
- DURHAM UNIVERSITY
- King's College London
- AALTO UNIVERSITY
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- University of Nottingham
- ; University of Cambridge
- ; University of Oxford
- Aston University
- Imperial College London
- Royal College of Art
- University of Birmingham
- University of Glasgow
- Oxford Brookes University
- Swansea University
- Cardiff University
- Medical Research Council
- Nottingham Trent University
- University of Bath
- University of Lincoln
- University of Sheffield
- ; CRUK Scotland Institute
- ; King's College London
- ; Nanyang Technological University
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; The University of Manchester
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- ; University of Kent
- ; 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
-
development to work under the supervision of Dr Alistair Farley, Scientific Lead for Chemistry, with a dotted line to Professor Timothy Walsh. The position is based at the Ineos Oxford Institute, at the Life
-
or military collaborators. You are expected to have strong mathematical and programming skills, knowledge of computer vision and data mining tools, and be able to work on group software projects using modern
-
) 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
-
179935 – Postdoctoral Research Assistant Nuffield Department of Orthopaedics, Rheumatology and Musculoskeletal Sciences (NDORMS) Grade 7: Salary in the range of £38,674-£40,855 per annum This is a
-
P. Grey in the Yusuf Hamied Department of Chemistry, working on a project focused on understanding solid-state ion dynamics and phase transformations in lithium- and sodium-ion battery electrode
-
P. Grey in the Yusuf Hamied Department of Chemistry, working on a project focused on understanding solid-state ion dynamics and phase transformations in lithium- and sodium-ion battery electrode
-
Full time: 25 Hours per week Fixed term: 12 months We are looking for a candidate to join the University of Edinburgh to conduct research on Machine Learning, Reinforcement Learning, or LLM orchestration, with applications to Finance. This post is advertised as full-time (35 hours per week). We...
-
techniques. Analyse experimental data using statistical tools and computational methods. Collaboration & Mentorship: Collaborate with interdisciplinary teams of researchers and students. Mentor graduate and
-
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
-
defence and security, working directly with industry and sometimes governmental or military collaborators. You are expected to have strong mathematical and programming skills, knowledge of computer vision