[isabelle] 2 research scholarships in Formal Verification at Swansea



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/>).




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.