There is a growing use of artificial intelligence in highly critical systems such as autonomous vehicles. However, we still have relatively few techniques for validating such systems: checking that they perform as expected and cannot ‘do anything wrong’. The aim of the project is to address this problem/gap by developing new techniques for testing artificial intelligence applications. The project will address the following problems:
1. What constitutes a good test case in this context?
2. How can one automatically generate good test cases?
3. How can one automatically check that the output produced in testing is ‘valid’?
It is likely that automated test generation technique will utilise techniques from artificial intelligence. The techniques devised with be evaluated through a combination of case studies and experiments, There is potential to draw on case studies from, for example, Sheffield Robotics.
This project does not require a background in Artificial Intelligence but this would be useful.
Application Deadline: 24th April 2019
Supervisors: Professor Robert Hierons and Professor John Clark
- Applicants should have at least a 2:1 BSc (hons) degree in either Computer Science or Mathematics and Computer Science
- If English is not your first language, you must have an IELTS score of 6.5 overall, with no less than 6.0 in each component
How to apply:
To apply for the studentship, applicants need to apply directly to the University of Sheffield using the online application system. Please name Professor Robert Hierons and Professor John Clark as your proposed supervisors.
Complete an application for admissions to the standard Computer Science PhD programme: https://www.sheffield.ac.uk/postgraduate/phd/apply/applying
Applications should include a research proposal, CV, transcripts and two references.
The research proposal (up to 4 A4 pages, including references) should outline your reasons for applying for this studentship and how you would approach the research, including details of your skills and experience.
The studentship will commence on 30th September 2019. The studentship will cover tuition fees at the UK/EU rate and provide an annual stipend at the standard RCUK rate (currently £15,009 for 2019/20) for three years. If you are an international student, you are eligible to apply but you must have the means to pay the difference between the UK/EU and Overseas tuition fees.
Informal enquiries should be directed to: Professor Robert Hierons ([email protected]
The Department of Computer Science, within the Faculty of Engineering, was established in 1982 and has since attained an international reputation for its research and teaching. In REF2014, the Department was ranked 5th out of 89 computer science departments in the UK, indicating that the large majority of our research is nationally or internationally leading. Further information about the Department can be found at http://www.sheffield.ac.uk/dcs