Safety verification process of the ETCS Level 3 moving block system considering the uncertainties in train position - ABG

Safety verification process of the ETCS Level 3 moving block system considering the uncertainties in train position - ABG

Context The present position is in the framework of the PERFORMINGRAIL project (PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling), supported by Shif2Rail.

Profil

• PhD. degree in automation engineering, computer science or applied mathematics
• Knowledge in dependability and safety, system analysis and formal modelling
• Experience in railway signalling systems will be appreciated
• Fluent English, writing and synthesis skills, sense of initiative, travels foreseen (according to sanitary conditions)