Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Newcastle University
- The University of Manchester
- University of Exeter
- University of Nottingham
- University of Birmingham
- University of Sheffield
- AALTO UNIVERSITY
- Loughborough University
- University of Bristol;
- ;
- Abertay University
- Loughborough University;
- Queen's University Belfast
- Swansea University
- Swansea University;
- The Open University;
- The University of Edinburgh;
- The University of Manchester;
- University of Birmingham;
- University of Cambridge
- University of Exeter;
- University of Leeds
- University of Plymouth;
- University of Strathclyde (UOS)
- University of Surrey
- 15 more »
- « less
-
Field
-
PhD studentship in School of Computing: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
Website https://www.bham.ac.uk/ https://www.heatherflowe.com/ https://www.birmingham.ac.uk/staff/profiles/psychology/colloff-melissa https://www.birmingham.ac.uk/staff/profiles/computer-science/academic
-
to Home Office security clearance requirements, applicants will need to have resided in the UK for the last 5-years. You can find further details at https://www.centre-ub.org/studentships/call-for
-
Promat to start in October 2026. Accurate eyewitness identification is critical for criminal investigations and public safety. Yet, despite major advances in psychological science, police lineup procedures
-
28 Nov 2025 Job Information Organisation/Company Queen's University Belfast Department Centre for Secure Information Technologies Research Field Computer science » Cybernetics Engineering » Computer
-
automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability challenges in agentic reasoning systems. Where to apply Website https://www.findaphd.com/phds
-
is increasingly shaped by how water, climate and vegetation interact. Flooding, saturated embankments, blocked drains and seasonal leaf-fall all contribute to safety risks, delays and costly
-
that you apply early as the advert may be removed before the deadline. The cryptographic protocols used to secure communications and data are safe under the assumption that problems like integer
-
United Kingdom Application Deadline 31 Mar 2026 - 23:59 (Europe/Brussels) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Horizon Europe - MSCA Is the