Master internship, with a followup doctoral position: Property-Driven Abstraction of Dynamical and Hybrid Systems

Liebherr Aerospace, a leader in the aircraft air-conditioning systems industry, is opening a master internship, with a possible extension to a doctoral position. This master and doctoral work will be done in collaboration with the Cosynus team a Ecole Polytechnique nearby Paris and the Inria Hycomes team in Rennes. The master internship will focus on cyber-physical systems modeling methodologies, and should be seen as an introduction to PhD on cyber-physical systems design.

Full details in the attached document:

 

[gview file=”https://team.inria.fr/hycomes/files/2017/03/InternshipThesisINRIA.pdf”]

[gview file=”https://team.inria.fr/hycomes/files/2017/02/sujet-m2-liebherr-cosynus-hycomes.pdf”]