2 software-verification-computer-science PhD positions at Newcastle University

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

Newcastle University | United Kingdom | about 2 months ago

PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and

PhD Studentship in School of Computing: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification

Newcastle University | Newcastle upon Tyne, England | United Kingdom | 2 months ago

, publications and certification-related artefacts. Supervision Environment You will be based in Newcastle University’s Computing AMBER-group, focusing on safety-critical software, medical systems, simulation, and