[isabelle] Post-doc position: Timed systems
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
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 at swan.ac.uk
An application form and further details may be obtained at
Closing date: Thursday 7 April 2011.
This archive was generated by a fusion of
Pipermail (Mailman edition) and