[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