3 software-verification "https:" PhD positions in United Kingdom

PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification

Newcastle University | United Kingdom | 25 days ago

] FDA General Principles of Software Validation for Medical devices . [6] PlaTFoRm Project, https://www.fortiss.org/en/research/projects/detail/platform . Number Of Awards 1 Start Date 1 October 2026

Preparatory Exercises for PhD Positions in Safe Agentic/LLM Reasoning via Formal Verification

The University of Manchester | Manchester, England | United Kingdom | about 2 months ago

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

Doctoral Researcher, MSCA Doctoral Network position “Electric Solar Wind Sail Mission Design”

AALTO UNIVERSITY | United Kingdom | 2 months ago

balance, and outgassing testing, essential for qualifying hardware for launch and orbital operation. The Space Lab also offers access to a wide suite of engineering and simulation software for electronics