Coventry University Featured PhD Programmes
Brunel University London Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
University of Kent Featured PhD Programmes
University of Leeds Featured PhD Programmes

Round-trip policy engineering

  • Full or part time
  • Application Deadline
    Monday, April 01, 2019
  • Competition Funded PhD Project (European/UK Students Only)
    Competition Funded PhD Project (European/UK Students Only)

Project Description

Most policies are written by humans for humans. One line of attack on the problem of how to deliver the promise of autonomous system, while constraining their behaviour within human expectations – not that unexpected behaviour is necessarily bad! - is to use formal models of human and machine understandable policies to communicate those intentions. One formulation of the policy transduction problem is how to extract human intentions from natural language, verify that the extracted model is correct - for some definition of correct – and validate the model against user stories/use cases. A subsequent problem is policy maintenance and development: which version of the policy is the reference model? The natural language one or the formal model? This suggests a second transduction problem: how to render the formal model in natural language, sufficiently accurately, to limit the scope for mis-communication, while making both humans and software agents stakeholders in the evolution of the policy framework, taking account of a policy in isolation and its interaction with co-existing policies.

This project is associated with the UKRI CDT in Accountable, Responsible and Transparent AI (ART-AI), which is looking for its first cohort of at least 10 students to start in September 2019. Students will be fully funded for 4 years (stipend, UK/EU tuition fees and research support budget). Further details can be found at: http://www.bath.ac.uk/research-centres/ukri-centre-for-doctoral-training-in-accountable-responsible-and-transparent-ai/.

Desirable qualities in candidates include intellectual curiosity, a strong background in maths and programming experience.

Applicants should hold, or expect to receive, a First Class or good Upper Second Class Honours degree. A master’s level qualification would also be advantageous.

Informal enquiries should be directed to Dr Julian Padget: .

Enquiries about the application process should be sent to .

Formal applications should be made via the University of Bath’s online application form for a PhD in Computer Science: https://samis.bath.ac.uk/urd/sits.urd/run/siw_ipp_lgn.login?process=siw_ipp_app&code1=RDUCM-FP01&code2=0013

Start date: 23 September 2019.

Funding Notes

ART-AI CDT studentships are available on a competition basis for UK and EU students for up to 4 years. Funding will cover UK/EU tuition fees as well as providing maintenance at the UKRI doctoral stipend rate (£15,009 per annum for 2019/20) and a training support fee of £1,000 per annum.

We also welcome all-year-round applications from self-funded candidates and candidates who can source their own funding.

How good is research at University of Bath in Computer Science and Informatics?

FTE Category A staff submitted: 24.00

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully





FindAPhD. Copyright 2005-2019
All rights reserved.