postdoc or research assistant in Formal Verification of Railway Control Systems

[Anne Haxthausen]

The Railway Verification Group at DTU Compute, Technical University of 
Denmark (DTU), invites applications for a position as postdoc or 
research assistant. The position is financed by the RobustRailS research 
project, and the postdoc or research assistant will be expected to 
participate in this project. The task will be to explore formal 
verification (model checking) of railway control systems in 
collaboration with the RobustRailS team. Preferred starting date is mid 
January or as soon as possible.
*Deadline for application is 10 January* 2016.

For more information, see 
http://www.dtu.dk/english/career/job?id=db2903c5-e6f8-4339-ae2a-80fc2ed4bd73

Kind regards,

-- 
Anne Haxthausen, Associate Professor
DTU Compute
Matematiktorvet, building 303B
Technical University of Denmark
DK-2800 Lyngby
E-mail:aeha at dtu.dk  



-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20151220/57a394cc/attachment.html>