[TYPES/announce] 2 PhD positions in Formal Methods at Swansea, UK

[Markus Roggenbach]

There are two open PhD positions in Formal Methods at Swansea University in the "Process and Data Group" (http://www.cs.swansea.ac.uk/~csmarkus/ProcessesAndData/home <http://www.cs.swansea.ac.uk/~csmarkus/ProcessesAndData/home>).

a) A 4 year PhD with Siemens on modelling ERTMS level 2 in Real-Time Maude and Testing ERTMS components against verified models, closing date: 20 July 2017.

   http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-icase-phd-testing-from-verified.php <http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-icase-phd-testing-from-verified.php>

b) A 3 year PhD with Grenoble University on service composition for safety and security, closing date: 15 July 2017.

  http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-dtc-phd-service-composition.php <http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-dtc-phd-service-composition.php>

For informal enquiries please contact Markus Roggenbach at M.Roggenbach at swansea.ac.uk <mailto:M.Roggenbach at swansea.ac.uk>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170622/44326f51/attachment-0001.html>