About the Project
Start date and duration:
1 October 2020 for 3 years.
According to Health England Topol Review, 75% of expert clinician time is wasted performing mundane tasks and analysis. The role of software in medical devices to deliver healthcare is evolving, as devices are asked to perform more complex tasks, generating substantial data.
To relieve this ‘cognitive-bottleneck’, automated software-solutions are required to interpret and provide concise summaries. This will enable clinicians to focus on complex/abnormal cases. Given the safety-critical nature of such tasks, methods to prove correctness of these analyses from safety-critical industries will be adapted and employed.
ScubaTX have recently licensed our formal-approach adapted from real-time safety-critical systems to suit these analyses (SmartAudits). Such novel techniques are used to monitor various parameters and return auditable summaries of key mathematical-features observed in patient-data; which clinicians can investigate further.
SmartAudits first application focuses on the unaccompanied preservation and shipment of donor-organs for transplantation. This provides a concise summary of key events, critical to organ suitability assessment following preservation.
This project will develop the mathematical-framework and enable applicants to work embedded in ScubaTX product-design team. Applicants will implement this technology into ScubaTX software and apply formal verification techniques to rule out unintended software-flaws. As an employee, the student will be exposed to and work to medical device software regulations (IEC62304).
Our primary objective is to provide a verified implementation of SmartAudits within ScubaTx’s systems, building from an existing prototype.
European Union Regional Development Fund Intensive Industrial Innovation Programme with ScubaTx Ltd.
Name of supervisor(s):
Dr William Scott (https://bit.ly/3fQ841h) and Dr Leo Freitas (https://bit.ly/31Hzf9z).
Highly motivated individuals with ≥2:1 honours degree or international equivalent in mathematics, or computing are encouraged to apply.
The award is available to UK/EU applicants only.
Excellent English communication-skills.
Highly motivated applicant experienced on:
Independent-working, embedded real-time C/C++; formal verification techniques (model-checking, model-based design, symbolic simulation, mechanical verification, hybrid-systems, static-analysis); discreet mathematics for computer science; data-structures with algorithms.
Writing skills, presentation skills, previous medical device experience; ideally for transplantation.
How to apply:
You must apply through the University’s online postgraduate application system link ‘Create a new account’ (https://bit.ly/3amjysm).
Mandatory fields need to be completed. You need to include the following:
• insert the 8300F in the programme of study section
• select ‘PhD in the Faculty of Medical Sciences – cellular medicine’ as the programme of study
• insert the studentship code TC013 in the studentship/partnership reference field
• attach a covering letter and CV. The covering letter must state the title and reference code TC013 of the studentship, and state why you are suited for this project
• attach degree transcripts and certificates and, if English is not your first language, a copy of your English-language qualifications.
*The online application system will only allow one application using the programme code 8300F. If you are applying for TWO or more projects using that code then you need to email Postgraduate Admissions Service ([Email Address Removed]).
Based on your current searches we recommend the following search filters.
Based on your current search criteria we thought you might be interested in these.