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
  Prof Xiaowei 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.
PhD saved successfully
View saved PhDs