(Apologies if you have received multiple copies of this announcement) We are looking for a highly motivated Post-Doc researcher to work in Performance and Safety Analysis of Train-to-Train communications. The ideal candidate should have: PhD degree in computer science and/or automatic, safety assessment, Petri Nets, formal methods, fluent English, experience in writing journal papers, knowledge of Railway domain will be a plus. Gross annual salary: 35 k€ Type of contract: Fixed-term contract 18 months Working hours: full time Please send applications (containing CV and motivation letter) mentioning VN-2019/01 by email to : recrutement@railenium.eu Position will be open until filled and details of the position are described in the attachments. Best regards, Abderrahim Ait Wakrime