Email Gateway (Aug 22 2022 at 17:01): Email Gateway (Aug 22 2022 at 17:01):From: Markus Roggenbach <m.roggenbach@swansea.ac.uk>
There are two fully funded scholarships available in Formal Verification and Modelling or Real Time Systems:
1 Fully Funded EPSRC iCASE PhD Scholarship: Formal Modelling and Analysis of Real Time Systems
Closing date: 2 April 2018
http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-icase-phd-formal-modelling.php <http://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-icase-phd-formal-modelling.php>
1 Fully Funded MSc by Research Scholarship: Formal Modelling and Analysis of Real Time Systems
Closing date: 2 April 2018
http://www.swansea.ac.uk/postgraduate/scholarships/research/theoretical-computer-science-msc-research-formal-modelling.php
The successful candidates will be members of the Processes and Data group (http://www.cs.swansea.ac.uk/~csmarkus/ProcessesAndData/home <http://www.cs.swansea.ac.uk/~csmarkus/ProcessesAndData/home>) and work in the context of the Swansea Railway Verification Group (http://cs.swansea.ac.uk/rail/ <http://cs.swansea.ac.uk/rail/>).
Last updated: Nov 21 2024 at 12:39 UTC