I offer the following internship positions for highly motivated Master students for 2019. They are all research-oriented internship subjects.
All these internships are paid (standard remuneration).

No conditions of citizenship required, so feel free to apply.

Depending on the motivation of the candidate, these internships can lead to a PhD thesis.

If you are interested in one of these subjects, or have any questions, please feel free to contact me.

Subject #1 : Analyses of real-time systems using Time4sys and IMITATOR

Supervisor : Étienne André

Keywords : model transformation, modeling, real-time systems, parametric timed automata, OCaml

Location: LIPN, Université Paris 13, France

See the internship subject

Subject #2 : Parametric verification of real-time systems

Supervisors : Étienne André and Giuseppe Lipari

Keywords : formal methods, model checking, multiprocessor systems, scheduling, real-time systems, parametric timed automata, parameter synthesis, OCaml

Location: LIFL, Université Lille 1, France and/or LIPN, Université Paris 13, France

See the internship subject