Computer Science: Fully Funded EPSRC iCASE PhD Scholarship at Swansea University: Verification of Real Time Systems
- Full cost of UK/EU tuition fees, plus a stipend
- 2 July 2018
This is an EPSRC funded iCASE PhD project for 4 years, partially funded by Siemens Rail Automation UK.
Start date: October 2018
This project offers an exciting opportunity to combine theory and practice in the verification of real time systems, based on research questions posed by Siemens Rail Automation UK. We are looking for an ambitious candidate, keen to undertake challenging collaborative research with industrial impact.
The ERTMS Train Control System is a state-of-the-art system designed as a standard for railways across Europe. In practice, the project aims to produce a verified model of the ERTMS and to develop a testing approach that will enable Siemens Rail to verify their ERTMS implementation. Concerning theory, such a work-programme will lead to novel insights into modelling and verification of real-time systems and their testing approaches. Concerning practice, these models and insights will be applied to real world rail designs in collaboration with Siemens Rail.
Over the last decade, Siemens Rail Automation UK and Swansea University have established a robust, internationally recognized partnership on railway verification. As part of this successful collaboration, several research students have published acclaimed research papers and completed their degrees; some of whom have then been recruited by Siemens, whilst others have established themselves in academia.
The research project will take place within the Swansea Railway Verification Group (http://cs.swansea.ac.uk/rail/), which holds contacts to rail research groups in the UK and internationally. The supervisor team will include Dr P D James, Professor M Roggenbach, and Dr M Seisenberger.
Candidates must have a First, upper second class honours or a Masters degree (with Merit), in Computer Science, or equivalent.
A background in Formal Methods will be required; knowledge in a language like Maude or UPPAAL and/or testing would be welcome.
Due to funding restrictions, this studentship is open to UK/EU candidates only.
For candidates whose first language is not English, we require IELTS 6.5 (with 6.0 in each component) or equivalent. Please visit our website for a list of acceptable English language tests. We prefer candidates to have already met the English Language requirements at the point of application, although this is not a requirement.
This scholarship covers the full cost of UK/EU tuition fees, plus an annual stipend of £14,777. Additional funding for staying longer periods of time at the Siemens Rail, Chippenham, UK is available.
Please visit our website for more information.
Sign Up for Scholarship Updates
Get an email every week that 10.000's of students use to get the latest scholarships.