643 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Employer
- University of Oxford
- ;
- UNIVERSITY OF VIENNA
- KINGS COLLEGE LONDON
- University of London
- Durham University
- University of Cambridge
- King's College London
- DURHAM UNIVERSITY
- University of Liverpool
- AALTO UNIVERSITY
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- University of Oxford;
- Aston University
- Imperial College London
- University of Birmingham
- University of Nottingham
- ; University of Cambridge
- Medical Research Council
- Swansea University
- ; University of Copenhagen
- Cardiff University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Oxford Brookes University
- Queen Mary University of London
- Royal College of Art
- University of Bath
- University of Manchester
- University of Sheffield
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; University of Dundee
- ; University of Exeter
- ; University of Oxford
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Heriot-Watt University;
- King's College London;
- Kingston University
- Lancaster University
- Nanyang Technological University
- Sheffield Hallam University
- St George's University of London
- The Royal Veterinary College, University of London;
- University of Cambridge;
- University of Glasgow
- University of Hull
- University of Leicester
- University of Lincoln
- University of Newcastle
- University of Reading
- University of West London
- 46 more »
- « less
-
Field
- Biology
- Computer Science
- Medical Sciences
- Chemistry
- Economics
- Materials Science
- Mathematics
- Engineering
- Humanities
- Psychology
- Science
- Linguistics
- Social Sciences
- Earth Sciences
- Arts and Literature
- Law
- Environment
- Business
- Physics
- Electrical Engineering
- Sports and Recreation
- Philosophy
- 12 more »
- « less
-
practical knowledge of protein purification, ensemble biochemistry, and sample preparation to support your biophysical studies; • interact with biochemist and structural biology collaborators based
-
The post-holder will join a team of investigators working on the NERC-funded Large Grant ‘Ex-X’ Expecting the Unexpected. Understanding ‘dangerous’ volcanic transitions’, led by Prof. Jenni Barclay (University of Bristol). This project seeks to deliver a step-change in how we understand the...
-
radiation technology. Prior experience on spin-resolved ARPES or previous experience in setting up and maintain the operation of ARPES spectrometers will be an advantage. Candidates are expected
-
semiconductors for renewable energy generation”. This collaborative project will tackle the complex array of exciting fundamental science arising in “soft” inorganic and hybrid semiconductors, seeking to develop
-
The Oxford Internet Institute – founded in 2001 - is a multidisciplinary research and teaching department of the University of Oxford, dedicated to the social science of the Internet. We have an
-
The Oxford Internet Institute – founded in 2001 - is a multidisciplinary research and teaching department of the University of Oxford, dedicated to the social science of the Internet. We have an
-
of Manchester. You will be based primarily in Professor Bates' Lab (the Evolutionary Morphology & Biomechanics Group) in the Institute of Life Course & Medical Science at the University of Liverpool, but with
-
starting as soon as possible. The location of work can be Oxford or CERN. To develop the design and the technology of the vertex detector for LHCb Upgrade II through the TDR phase. The successful candidate
-
topics would be advantageous: open system quantum optics, many-body physics, cold atom physics, computational physics, quantum physics, nano-photonics and metamaterials. The appointment will be for two
-
. Jeremy Hutson (Chemistry), and their research teams in the Quantum Light and Matter group. The overarching goal of the research is to synthesise and study artificial quantum materials using ultracold CsYb