The Swansea Railway Verification Group (http://cs.swansea.ac.uk/rail/ <http://cs.swansea.ac.uk/rail/>) has two studentship available on Formal Modelling, Analysing and Testing of Real Time Systems:

1) For a PhD (4 years)
	http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-icase-phd-formal-modelling.php

2) For an MSci (1 year)
	http://www.swansea.ac.uk/compsci/postgraduate/phdopportunities/formal-modelling-and-analysis-of-real-time-systems/ <http://www.swansea.ac.uk/compsci/postgraduate/phdopportunities/formal-modelling-and-analysis-of-real-time-systems/>

Closing date for both studentships: 15 December 2017
Start date for both studentships: January 2018 (or later)

Informal enquiries about this studentship are welcome and may be directed to Professor Markus Roggenbach by emailing M.Roggenbach@swansea.ac.uk or calling +44 (0)1792 513578.