[FM-India] Master 2 internship in Université Paris 13, Sorbonne Paris Cité (France) + Thales R&D: Formal analysis of real-time systems using Time4sys and IMITATOR

Étienne André Andre.Etienne at lipn13.fr
Sun Dec 17 21:03:43 IST 2017

Dear all,

Please find below a Master 2 internship offer (research oriented or more
applied, depending on the wishes and skills of the applicant):

Title: *Formal analysis of real-time systems using Time4sys and IMITATOR*

Institution : LIPN, Université Paris 13 & CNRS, Sorbonne Paris Cité, in
collaboration with Thales R&D

Full description:

More on IMITATOR: https://www.imitator.fr/

Internship dates: may start anytime

Contact: Étienne André <astrei at lipn13.fr>

Best regards,

Étienne André
Université Paris 13

More information about the FMIndia mailing list