620 formal-verification-computer-science Postdoctoral research jobs in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Employer
- University of Oxford
- KINGS COLLEGE LONDON
- ;
- UNIVERSITY OF VIENNA
- DURHAM UNIVERSITY
- Durham University
- King's College London
- University of Cambridge
- University of Liverpool
- University of Oxford;
- University of London
- AALTO UNIVERSITY
- Heriot Watt University
- The University of Edinburgh;
- University of Reading
- Aston University
- King's College London;
- Nature Careers
- Manchester Metropolitan University
- University of Exeter;
- Imperial College London
- Swansea University
- University of Liverpool;
- University of Nottingham
- ; University of Cambridge
- University of Glasgow
- University of Glasgow;
- University of Newcastle
- CZECH UNIVERSITY OF LIFE SCIENCES
- Durham University;
- Heriot-Watt University;
- Imperial College London;
- John Innes Centre
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Newcastle University
- Northumbria University;
- Technical University of Denmark
- UNIVERSITY OF READING
- University of Cambridge;
- University of Exeter
- University of Leeds
- University of Manchester
- University of Nottingham;
- University of Reading;
- University of York;
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- Aston University;
- Birmingham City University
- Charles University;
- City University London
- Ellison Institute of Technology, Oxford Limited
- Harper Adams University
- Harper Adams University;
- Kingston University
- Lancaster University
- Magdalen College, Oxford;
- Max Planck Society
- Medical Research Council
- NORTHUMBRIA UNIVERSITY
- Oxford Brookes University
- Oxford Brookes University;
- Royal College of Art;
- Sheffield Hallam University
- The Royal Veterinary College, University of London;
- UCL;
- University of Bath
- University of Birmingham
- University of Dundee;
- University of Essex;
- University of Greenwich
- University of Hull
- University of Leicester
- University of Sheffield
- University of West London
- 66 more »
- « less
-
Field
-
. The post-holder will be responsible for managing their own academic research programme in Salmonella effector biology. You will have a high degree of autonomy to develop the methodology and experimental
-
have completed, or be close to completing, a PhD/DPhil in a relevant quantitative field such as computational social science, computer science, or cognitive science. They will have a demonstrable track
-
29 Aug 2025 Job Information Organisation/Company KINGS COLLEGE LONDON Research Field Biological sciences Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country
-
Aalto University is where science and art meet technology and business. We shape a sustainable future by making research breakthroughs in and across our disciplines, sparking the game changers
-
(MRC CMM) seeks an experienced research associate to join a recently funded 5-year programme of antifungal drug discovery at the MRC Centre for Medical Mycology. This exciting new programme connects MRC
-
the lab of Dr Joanna Sadler in the Institute of Quantitative Biology, Biochemistry and Biotechnology (IQB3). Post-consumer plastic waste is emerging as a promising feedstock for the circular bioeconomy. We
-
backgrounds, including computational chemistry, bioinformatics, systems biology, and machine learning. The project offers a unique opportunity to collaborate closely with experimental scientists and contribute
-
17 Sep 2025 Job Information Organisation/Company KINGS COLLEGE LONDON Research Field History Philosophy Religious sciences Researcher Profile Recognised Researcher (R2) Established Researcher (R3
-
researchers to join our UKRI Ayrton Challenge Programme project “Sustainable Cooling Infrastructure for Fisheries in Indonesia (SCI-FI)”. SCI-FI is an ambitious interdisciplinary initiative that aims to create
-
and leading a programme of numerical simulations relating to all aspects of our research on P-MoPAs; using particle-in-cell computer codes hosted on local and national high-performance computing