Étienne André – PhD/internships

Internship proposals

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

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 : 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

Subject #2 : Distributed verification of real-time systems

Supervisors : Étienne André and Laure Petrucci

Keywords : formal methods, model checking, distributed algorithmic, real-time systems, parameter synthesis

Location: LIPN, Université Paris 13, France

See the internship subject

Also have a look at the specification and verification axis internship proposals.