PhD position in Formal Development and Verification of Railway Control Systems

[Anne Haxthausen]

I am looking for talented applicants for a 3-year PhD position at DTU Informatics (Department of Informatics and Mathematical Modelling) at the Technical University of Denmark. Deadline for application: April 12, 2012.

The PhD project title is: formal development and verification of railway control systems. The PhD project is to be conducted as a part of the research project RobustRailS, Robustness in Railway Operations, the goal of which is to research methods for obtaining a more punctual, safe and robust railway operation. The goal of the PhD project is to investigate methods for formal development and verification of the new signalling systems that are going to be installed in Denmark over the next 10 years, and the PhD student is expected to collaborate with Rail Net Denmark in Copenhagen. Hence, the project gives a unique opportunity of combining theoretical and applied research for a real life problem.

For the official announcement and instructions on how to apply, please consult
http://www.dtu.dk/English/About_DTU/vacancies.aspx?guid=98a57707-0eb9-42fa-b60c-179a7d31d9de

Kind regards,
     Anne Haxthausen, Associate Professor
     DTU Informatics, Technical University of Denmark
     e-mail:ah at imm.dtu.dk