Email Gateway (Aug 22 2022 at 16:27): Email Gateway (Aug 22 2022 at 16:27):From: Markus Roggenbach <m.roggenbach@swansea.ac.uk>
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.
Last updated: Apr 19 2024 at 12:27 UTC