Email Gateway (Aug 18 2022 at 17:24): Email Gateway (Aug 18 2022 at 17:24):From: Markus Roggenbach <M.Roggenbach@swansea.ac.uk>
Applications are invited for a 2 year RA position at Swansea
University, Wales, UK, on developing tool support, modelling and
verifying railway systems in Timed CSP. Tool support shall be based
the existing tool CSP-Prover.
The position is part of the EPSRC/RSSB funded SafeCap project, an
international cooperation between Swansea University, Newcastle
University, the company Invensys as industrial partner, as well as the
National Institute of Advanced Industrial Science and Technology AIST
in Japan.
The successful candidate will join the Processes and Data Group, see
http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/, as well as
become a member of the Swansea Railway Verification Group.
Informal enquiries are welcome and should be directed to Dr Markus
Roggenbach, on +44 (0) 1792 513578, email: csmarkus@swan.ac.uk
An application form and further details may be obtained at
http://www.swan.ac.uk/personnel/Vacancies/Research/PostTitle,56696,en.php
Closing date: Thursday 7 April 2011.
Last updated: Nov 21 2024 at 12:39 UTC