[isabelle] 2 year post-doc position at Swansea, UK, on Railway Verification

           2 year post-doc position at Swansea, UK
           on Railway Verification

Closing Date 12-02-2015
Start Date 01-03-2015

The position is part of the RSSB funded project “Developing Integrated
Tools To Optimise Rail Systems” (DITTO).

The DITTO project is an academic collaboration on safe rail management
for high capacity based on the ERTMS, funded by the RSSB (Rail Safety
and Standards Board) within their FuTRO programme, and including
several industrial partners such as Siemens Rail Control Systems,
Chippenham, UK. It is a cross-disciplinary collaboration between
Southampton University, Leeds University, and Swansea University. For
more information on the Swansea side see the Swansea Railway
Verification Group and the Processes and Data Group.

Applicants should hold a postgraduate degree in Computer Science or a
closely related subject. Background knowledge in some of the following
areas will be required: railways, formal methods, modelling systems,
process algebra, verification, semantics, and mathematical logic. A
PhD in Computer Science or closely related subject is desirable.

For informal enquires contact Markus Roggenbach at M.Roggenbach at swansea.ac.uk

For more inormation see 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.