680 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
- Manchester Metropolitan University
- Nature Careers
- Aston University
- Imperial College London
- University of Nottingham
- Royal College of Art
- University of Birmingham
- University of Glasgow
- ; King's College London
- ; University of Cambridge
- ; University of Oxford
- Oxford Brookes University
- Swansea University
- ; University of Exeter
- Cardiff University
- University of Bath
- University of Lincoln
- University of Sheffield
- ; CRUK Scotland Institute
- ; Nanyang Technological University
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; The University of Manchester
- ; University of Copenhagen
- ; University of Dundee
- ; University of Southern Denmark
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Lancaster University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Medical Research Council
- Nottingham Trent University
- Sheffield Hallam University
- St George's University of London
- University of Bristol
- University of Hull
- University of Leicester
- University of Manchester
- University of Reading
- University of West London
- 43 more »
- « less
-
Field
-
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
-
creative, multidisciplinary approach, and as such provide opportunities across parasitology, structural biology, biochemistry and cell biology including single molecule fluorescence microscopy, CRISPR/Cas9
-
About the role Applications are invited for a Postdoctoral Research Associate in Single-molecule Chemistry and Biophysics to work under the supervision of Professor Yujia Qing for a period of up to
-
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
-
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
-
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