Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 2 PhD positions in Formal Methods at Swansea, UK

view this post on Zulip Email Gateway (Aug 22 2022 at 15:38):

From: Markus Roggenbach <m.roggenbach@swansea.ac.uk>
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).

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 for application: 20 July 2017, start date for the project: 1.10.2017

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 for application: 25 July 2017, start date for the project: 1.10.2017

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@swansea.ac.uk

Last updated: Apr 24 2024 at 20:16 UTC