Funded MSc by Research Studentship: Formal Modelling and Analysis of Real Time Systems

Award-winning postgraduate study at Swansea University

Swansea University

Closing date: 15 December 2017

Swansea University is a UK top 30 institution for research excellence (Research Excellence Framework 2014), and has been named Welsh University of the Year 2017 by The Times and Sunday Times Good University Guide.

Swansea Science Doctoral Training Centre Scholarship: MSc by Research in Theoretical Computer Science

Project Supervisors:

Supervisor 1 Prof Markus Roggenbach (Swansea, UK)

Supervisor 2 Dr Phillip James (Swansea, UK)

Project description:

This project is suitable for candidates interested in Formal Methods and working together with an industrial company.

The ERTMS Train Control System is a state-of-the-art system designed as a standard for railways across Europe. While the ERTMS standard details the interactions between trains and track equipment (e.g., in order to obtain concise train position information) and a radio block centre and trains (e.g., to hand out movement authorities), the details of how the controller, the interlocking and the radio block centre interact with each other are left to the suppliers of signalling solutions.

ERTMS is a hybrid system, i.e., system evolution involves discrete as well as continuous steps. Such systems can be modelled and analysed within the Uppaal framework, see

In close collaboration with Siemens Rail Automation, Chippenham, UK, the successful candidate shall develop and analyse a model of ERTMS in UPPAAL. The main focus of the project will be on safety properties such as “no two trains will ever collide”. Questions of capacity, i.e., how many trains can operate within a rail network within a given time frame, shall be addressed as well.


Candidates must have a first or an upper second class honours BSc degree in Computer Science or in a relevant discipline. Good knowledge in Formal Methods and / or Theoretical Computer Science are required.

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.

For more details please see here:

General funding sources

For general sources of funding that may apply to this study opportunity, visit the page(s) below.

Funding information

Funding applies to:
EU applicants (including UK)
Funding notes:

This one year scholarship covers the full cost of UK/EU tuition fees and includes a living allowance of £10,000.

Contacts and how to apply

Academic contact:

Informal enquiries before the deadline for formal applications are welcome by emailing Prof Markus Roggenbach (

Administrative contact and how to apply:

Applicants must complete and submit the following documentation by the stated deadline.

To apply for this studentship, please download the research scholarship application form here ‌and return it to the College of Science with the following:

- Academic References – all scholarship applications require two supporting references to be submitted. Please ensure that your chosen referees are aware of the funding deadline, as their references form a vital part of the evaluation process. Please either include these with your scholarship application or ask your referees to send them directly to
- Academic Transcripts and Degree Certificates – academic transcripts and degree certificates must be submitted along with the scholarship application by the funding deadline. We will be using these to verify your academic qualifications.
- A recent CV

Applicants should use the ‘Supplementary Personal Statement’ section of the application form to explain why the award they are applying for particularly matches their skills and experience and how they would choose to develop the project.

Please email the documents to or post them to:

Recruitment and Marketing Team
College of Science
Wallace Building
Swansea University
Singleton Park
Swansea SA2 8PP

Application deadline:

15 December 2017