3 software-formal-method-phd PhD positions in United Kingdom

PhD Studentship: Do Educational Pathways Mitigate Social Class Inequalities in Early Labour Market Outcomes? Evidence from Growing Up in Scotland

University of Strathclyde | Glasgow, Scotland | United Kingdom | 21 days ago

science related discipline. Demonstrated competence in applied quantitative methods, including regression analysis, evidenced through formal coursework, a quantitative dissertation or project, or equivalent

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

. This PhD project explores how formal requirements and automated testing can produce clear, traceable, regulator-ready evidence for medical device software certification. Part of the international PlaTFoRm