[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:
https://lipn.univ-paris13.fr/~andre/temp/stage-Astrei-en.pdf
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
http://lipn.univ-paris13.fr/~andre
More information about the FMIndia
mailing list