2 image-processing PhD scholarships 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 | 19 days ago

/processes; formalise requirements; prototype traceability. Expected outputs include requirement templates and an initial workshop paper. Year 2: Integrate PlaTFoRm tools; evaluate coverage and fault

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 | about 1 month ago

regulatory engagement, helping startups and SMEs overcome innovation bottlenecks and ultimately benefiting patients. Timeline Year 1: Analyse medical standards/processes; formalise requirements; prototype