687 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
- University of Glasgow
- Heriot Watt University
- Manchester Metropolitan University
- ; University of Oxford
- Nature Careers
- Aston University
- ; University of Cambridge
- Imperial College London
- University of Birmingham
- University of Nottingham
- Oxford Brookes University
- St George's University of London
- Swansea University
- University of Lincoln
- Cardiff University
- University of Sheffield
- ; CRUK Scotland Institute
- ; Royal Holloway, University of London
- ; Swansea University
- ; Technical University of Denmark
- ; The University of Edinburgh
- ; The University of Manchester
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- ; University of Kent
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Lancaster University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Royal College of Art
- Sheffield Hallam University
- UNIVERSITY OF SOUTHAMPTON
- University of Bath
- University of Bristol
- University of Hull
- University of Leicester
- University of Manchester
- University of Reading
- University of West London
- 43 more »
- « less
-
Field
-
these bioinformatic experiments. Access to a high-performance computer will be provided. The candidate must be capable of generating complex molecular compound models in silico and using current molecular dynamic
-
: 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
-
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
-
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
-
-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
-
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
-
About the role Applications are invited for a Postdoctoral Research Associate in Chemistry to work under the supervision of Professor Andrew Baldwin for a period of up to one year. The project is