[isabelle] PhD Scholarship "Verification of Real Time Systems" at Swansea University

Fully Funded EPSRC iCASE PhD Scholarship: Verification of Real Time Systems

Closing date: 2 July 2018
Start date: October 2018

This project offers an exciting opportunity to combine theory and practice in the verification of real time systems, based on research questions posed by Siemens Rail Automation UK. We are looking for an ambitious candidate, keen to undertake challenging collaborative research with industrial impact. 

More information can be found at


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