Email Gateway (Aug 22 2022 at 17:39): Email Gateway (Aug 22 2022 at 17:39):From: Markus <m.roggenbach@swansea.ac.uk>
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
Last updated: Apr 27 2024 at 01:05 UTC