FindAPhD LIVE! Study Fair

Edinburgh | Oxford | Leeds

FindA University Ltd Featured PhD Programmes
Imperial College London Featured PhD Programmes
Imperial College London Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
University of Warwick Featured PhD Programmes

Assuring Safety and correctness of systems through learning

This project is no longer listed in the FindAPhD
database and may not be available.

Click here to search the FindAPhD database
for PhD studentship opportunities
  • Full or part time
    Dr X Huang
    Dr JY Goulermas
  • Application Deadline
    No more applications being accepted
  • Funded PhD Project (European/UK Students Only)
    Funded PhD Project (European/UK Students Only)

Project Description

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: https://www.liverpool.ac.uk/study/postgraduate-research/how-to-apply/

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.

Related Subjects


Let us know you agree to cookies

We use cookies to give you the best online experience. By continuing, we'll assume that you're happy to receive all cookies on this website. To read our privacy policy click here

Ok