625 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 London
- UNIVERSITY OF VIENNA
- Durham University
- University of Cambridge
- DURHAM UNIVERSITY
- King's College London
- AALTO UNIVERSITY
- University of Liverpool
- Heriot Watt University
- Nature Careers
- University of Oxford;
- Manchester Metropolitan University
- University of Nottingham
- Aston University
- Imperial College London
- University of Birmingham
- ; University of Cambridge
- Swansea University
- Cardiff University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Royal College of Art
- University of Bath
- University of Exeter
- University of Glasgow
- University of Leicester
- University of Manchester
- University of Nottingham;
- University of Reading
- University of Sheffield
- ; Technical University of Denmark
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- ; University of Oxford
- Aston University;
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Heriot-Watt University;
- John Innes Centre
- King's College London;
- Kingston University
- Lancaster University
- Medical Research Council
- Northumbria University;
- Nottingham Trent University
- Oxford Brookes University
- Sheffield Hallam University
- St George's University of London
- Technical University of Denmark
- The Royal Veterinary College, University of London;
- The University of Edinburgh;
- University of Cambridge;
- University of Dundee;
- University of Essex;
- University of Glasgow;
- University of Hull
- University of Lincoln
- University of Newcastle
- University of West London
- 53 more »
- « less
-
Field
-
50 Faculty of Life Sciences Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.08.2031 Reference no.: 4268 Explore and teach
-
-Performance Computing (HPC) systems are essential infrastructure for solving complex scientific and engineering challenges. However, the rapid growth of HPC alongside AI is creating an urgent sustainability
-
50 Faculty of Life Sciences Startdate: 18.08.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 17.08.2029 Reference no.: 4247 Explore and teach
-
with an international reputation for excellence. The Department has a substantial research programme, with major funding from Medical Research Council (MRC), Wellcome Trust and National Institute
-
with an international reputation for excellence. The Department has a substantial research programme, with major funding from Medical Research Council (MRC), Wellcome Trust and National Institute
-
biochemical reconstitution, electron cryomicroscopy (cryo-EM), advanced bacterial genetics, and phage biology to explore how cells and viruses control the three-dimensional structure of DNA. We investigate how
-
Applications are invited for a Postdoctoral Research Assistant in Ion Trap Quantum Computing. The post is available initially for a fixed-term duration of 3 years, with the possibility of extension
-
About us The Department of Forensic and Neurodevelopmental Sciences (FANS) is one of Europe’s largest research groups and one of the few teams in the world bringing together leading experts in brain
-
associate with expertise in data science to join the King’s BHF Centre of Research Excellence and contribute to a growing cardio-immunology research programme. Inflammation is increasingly recognised as a key
-
37 Faculty of Business, Economics and Statistics Startdate: 01.10.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 30.09.2028 Reference