663 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
- Durham University
- University of Cambridge
- University of London
- University of Liverpool
- DURHAM UNIVERSITY
- AALTO UNIVERSITY
- King's College London
- Heriot Watt University
- University of Glasgow
- Aston University
- Manchester Metropolitan University
- Nature Careers
- Imperial College London
- University of Birmingham
- University of Lincoln
- University of Nottingham
- ; Technical University of Denmark
- ; University of Exeter
- ; University of Oxford
- St George's University of London
- Swansea University
- ; Swansea University
- ; University of Cambridge
- ; University of Copenhagen
- Cardiff University
- City University London
- Loughborough University
- University of Sheffield
- ; CRUK Scotland Institute
- ; Royal Holloway, University of London
- ; The University of Edinburgh
- ; The University of Manchester
- ; University of Bristol
- ; University of Kent
- ; Xi'an Jiaotong - Liverpool University
- Birmingham City University
- European Magnetism Association EMA
- Lancaster University
- Liverpool John Moores University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Oxford Brookes University
- Royal College of Art
- UNIVERSITY OF SOUTHAMPTON
- University of Bath
- University of Bristol
- University of Hull
- University of Leicester
- University of Reading
- University of West London
- 44 more »
- « less
-
Field
-
50 Faculty of Life Sciences Startdate: 01.08.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.07.2029 Reference no.: 4160 Explore and teach
-
: Department for Structural and Computational Biology at the Max Perutz Labs, a research institute established by the University of Vienna and the Medical University of Vienna. Dedicated to a mechanistic
-
49 Faculty of Social Sciences Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: permanent Reference no.: 4032 Explore and
-
needed and depending on interest, teaching and other research infrastructure support. General qualifications: As expected for a computational-science postdoc or doctoral student position in your field
-
). This consortium pulls together expertise from all over the University, including in diagnostics, data science, drug and vaccine design, preclinical testing and clinical testing and brings it to bear on tuberculosis
-
The post holder will develop computational models of learning processes in cortical networks. The research will employ mathematical modelling and computer simulation to identify synaptic plasticity
-
-resistant TB (OxCoD4TB). This consortium pulls together expertise from all over the University, including in diagnostics, data science, drug and vaccine design, preclinical testing and clinical testing and
-
including providing administrative support to the Associate Dean for Undergraduates for the ‘Preparation for Learning and Teaching at Oxford’ (PLTO) programme. Candidates should have strong administrative
-
The Role Applications are invited for a Postdoctoral Research Associate in Mathematics with a particular emphasis on the p- adic Langlands programme and related areas. The research project , led by
-
, Electronic & Computer Engineering; Chemical Engineering; Mechanical Engineering and Brewing & Distilling. 90% of our students were satisfied overall with their course in over half of the University's subject areas. At