683 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 Cambridge
- University of London
- Durham University
- University of Liverpool
- DURHAM UNIVERSITY
- AALTO UNIVERSITY
- King's College London
- University of Glasgow
- Aston University
- Heriot Watt University
- Manchester Metropolitan University
- ; University of Cambridge
- Nature Careers
- ; University of Oxford
- Imperial College London
- University of Birmingham
- University of Lincoln
- University of Nottingham
- Oxford Brookes University
- St George's University of London
- Swansea University
- ; Technical University of Denmark
- Cardiff University
- University of Sheffield
- ; CRUK Scotland Institute
- ; Queen Mary University of London
- ; Royal Holloway, University of London
- ; Swansea University
- ; The University of Edinburgh
- ; 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
- Nottingham Trent University
- Royal College of Art
- 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
- 42 more »
- « less
-
Field
-
52 Faculty of Chemistry Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.08.2028 Reference no.: 4195 Explore and teach
-
O’Brien’s research groups at the Department of Engineering Science (Central Oxford). The post is fixed term for two years and is funded by the EPSRC. The development of large-scale quantum computers will
-
Biology, Biochemistry, or Biophysics. You should be driven, have experience in protein production and good background in structural biology and biophysics. As your project will likely use a combination of
-
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
-
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
-
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