[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é]

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