654 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
- Durham University
- University of Cambridge
- University of Liverpool
- DURHAM UNIVERSITY
- AALTO UNIVERSITY
- University of Glasgow
- King's College London
- Heriot Watt University
- Manchester Metropolitan University
- Aston University
- Nature Careers
- Imperial College London
- University of Birmingham
- University of Nottingham
- ; University of Copenhagen
- Cardiff University
- St George's University of London
- Swansea University
- University of Lincoln
- ; University of Oxford
- Loughborough University
- University of Leicester
- University of Sheffield
- ; Austrian Academy of Sciences
- ; CRUK Scotland Institute
- ; Newcastle University
- ; Royal Holloway, University of London
- ; Swansea University
- ; Technical University of Denmark
- ; The University of Edinburgh
- ; The University of Manchester
- ; University of Dundee
- ; University of Exeter
- ; University of Liverpool
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Lancaster University
- Liverpool John Moores University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Royal College of Art
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- UNIVERSITY OF SOUTHAMPTON
- University of Bath
- University of Bristol
- University of Leeds
- University of Newcastle
- University of West London
- 44 more »
- « less
-
Field
- Biology
- Computer Science
- Medical Sciences
- Mathematics
- Economics
- Chemistry
- Materials Science
- Science
- Engineering
- Humanities
- Psychology
- Social Sciences
- Linguistics
- Earth Sciences
- Physics
- Law
- Arts and Literature
- Business
- Electrical Engineering
- Environment
- Sports and Recreation
- Philosophy
- 12 more »
- « less
-
to develop coupled sub-models within a system dynamics framework. Working with colleagues from the Karlsruhe Institute of Technology, the candidate will build a behavioural sub-model using the CRAFTY GB model
-
, psychophysiology and computerised testing labs. Academics also have access to the Centre for Brain Science, which includes TMS, tDCS, tVNS, fNIRS, virtual reality, pain and human sexuality testing facilities. We
-
We invite applications for a Postdoctoral Research Associate to join a research project funded by an EPSRC grant. The position is offered on a fixed-term basis until 31 August 2026, with a maximum duration of 10 months (10 months), and is full-time. Reporting to Prof. Gesine Reinert, the post...
-
from interactions with a large number of colleagues in chemistry, engineering, material science, computation, and systems analysis at the Universities of Bath, Cambridge, Cardiff, Liverpool, Oxford and
-
membership for our state of the art sport and gym facilities and access to a 24-7 Employee Assistance Programme. • On site nursery is available plus access to holiday camps for children aged 5-16
-
clinical informatics using real-world electronic health data. The Research Assistant will play key role in the delivery and operational running of the ENHANCE research project. This includes drafting project
-
type (iv) work with the computational biology team to transfer this information into a AI algorithm that can distinguish neurodegenerative and neuroprotective phenotypes (v) work with colleagues in
-
supporting the general program of research within the pre-clinical team. You will work in Containment level 2 and 3 facilities to assist with murine immunogenicity experiments, murine aerosol challenge
-
TWO exciting opportunities to be part of the multimillion Ineos-Oxford Institute (IOI) for AMR Research within the Department of Biology, University of Oxford. Joining the IOI, and Sheppard and
-
Disclosure and Barring Service Requirement: Not Applicable. Durham University Durham University is one of the world's top universities with strengths across the Arts and Humanities, Sciences and Social