Fully Funded EPSRC iCASE PhD Scholarship: Verification of Real Time Systems

Swansea University - Computer Science

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.

Eligibility

Academic requirements:

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.

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.

Residency criteria:

Due to funding restrictions, this scholarship is open to UK/EU candidates only.

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.

Share this PhD
     
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

PhD

Location(s):

Wales