[TYPES/announce] 2 Studentships in Swansea on Formal Modelling, Analysing and Testing of Real Time Systems

[Markus Roggenbach]

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 at swansea.ac.uk or calling +44 (0)1792 513578.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171123/0f20646d/attachment.html>