[TYPES/announce] Post-doc position: Timed systems

Markus Roggenbach M.Roggenbach at swansea.ac.uk
Thu Mar 17 11:27:49 EDT 2011

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 at swan.ac.uk

An application form and further details may be obtained at


Closing date: Thursday 7 April 2011.

More information about the Types-announce mailing list