640 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
- AALTO UNIVERSITY
- University of Cambridge
- University of Liverpool
- University of London
- University of Oxford;
- Heriot Watt University
- The University of Edinburgh;
- University of Reading
- Aston University
- Manchester Metropolitan University
- Nature Careers
- King's College London;
- Imperial College London
- University of Exeter;
- 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
- Northumbria University;
- UNIVERSITY OF READING
- University of Cambridge;
- 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;
- Ellison Institute of Technology, Oxford Limited
- Harper Adams University
- Harper Adams University;
- Kingston University
- Lancaster University
- Lund University
- Magdalen College, Oxford;
- Medical Research Council
- NORTHUMBRIA UNIVERSITY
- Newcastle University
- Nottingham Trent University
- Oxford Brookes University
- Oxford Brookes University;
- Royal College of Art;
- Sheffield Hallam University
- Technical University of Denmark
- The Royal Veterinary College, University of London;
- The University of Manchester
- UCL;
- University of Bath
- University of Birmingham
- University of Dundee;
- University of Essex;
- University of Exeter
- University of Greenwich
- University of Hull
- University of Leicester
- University of Sheffield
- University of West London
- 67 more »
- « less
-
Field
-
research progress through formal and informal reports and communications. Undertake additional duties as reasonably requested by project leaders, commensurate with the role. Essential Criteria A PhD (or near
-
applicant. Access to high-performance computing facilities and cloud-based quantum hardware will be provided to support simulation and verification of theoretical methods. About you The successful candidate
-
the Department of Computer Science and Engineering, at the University of Cambridge, UK. The Postdoc will work across several projects, interfacing with teams of students and research collaborators on developing
-
2 Oct 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Computer science Economics Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Country
-
explores novel aggregation methods at the intersection of AI safety, computational social choice, and judgment aggregation, aiming to formally integrate multi-stakeholder preferences into AI system design
-
to the clinic The post holder will be based in the Department of Biomedical Computing as part of the School of Biomedical Engineering & Imaging Sciences, King’s College London, a vibrant community of engineers
-
Machine Learning, Human-Computing Interactions, Social Sciences, and Public Health. Applicants should hold, or be close to completion of, PhD/DPhil with research experience in computer science, statistics
-
1 Oct 2025 Job Information Organisation/Company Imperial College London Department Electrical and Electonic Engineering Research Field Engineering » Electrical engineering Researcher Profile First
-
30 Sep 2025 Job Information Organisation/Company DURHAM UNIVERSITY Research Field Chemistry Engineering Physics Chemistry Researcher Profile Recognised Researcher (R2) Established Researcher (R3
-
The Department of Sociology is seeking a Postdoctoral Researcher in Demography to work broadly in the area of fertility and reproductive behaviour. Applicants with interests in both formal and