Coventry University Featured PhD Programmes
Norwich Research Park Featured PhD Programmes
University of Reading Featured PhD Programmes

Assuring Safety and correctness of systems through learning

School of Electrical Engineering, Electronics and Computer Science

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
Dr X Huang , Prof J Y Goulermas No more applications being accepted Funded PhD Project (European/UK Students Only)

About the Project

This project aims to develop techniques for the assurance of the safety and functional correctness of the system with learning-enabled components, whose behaviour is driven by knowledge acquired through a learning process. To achieve assurance, we will study property-aware learning techniques, by incorporating constraints in the processes of e.g., constructing the learning model, training, or continuous monitoring of the model’s execution, etc. The constraints can express desired properties of the resulting learning-enabled component including e.g., safety critical properties, security properties, ethical norms, etc. It is expected that such techniques can not only produce assured systems but also enhance the trustworthiness of the learning techniques.

When applying please ensure you Quote the supervisor & project title you wish to apply for when asked for details of how plan to finance your studies.

For Academic Enquiries please contact Dr Xiaowei Huang ([Email Address Removed] )
For enquires on the application process or to find out more about the programme please contact [Email Address Removed]

To apply for this opportunity, please visit:

Funding Notes

This project is a fully funded 4-year PhD undertaken in conjunction with IBM.
This studentship includes 4 years of tuition fees + a Maintenance stipend of £14,777 per year.

FindAPhD. Copyright 2005-2021
All rights reserved.