Aller au contenu

Intern, in the area of systems design DEPS (M/F) - 6 months

  • On-site, Hybrid
    • EVRY, Île-de-France, France
  • Informatique et Système d'information

Job description

Télécom SudParis

ABOUT TELECOM SUDPARIS

Telecom SudParis is a public graduate school for engineering, which has been recognized on the highest level in the domain of digital technology. The quality of its courses is founded on the scientific excellence of its faculty and on teaching techniques that emphasize project management, innovation and intercultural understanding. Telecom SudParis is part of the Institut Mines-Telecom, the number one group of engineering schools in France, under the supervision of the Minister for Industry. Telecom SudParis with Ecole Polytechnique, ENSTA Paris, ENSAE Paris, ENPC and Telecom Paris are co-founders of the Institut Polytechnique de Paris, an institute of Science and Technology with an international vocation. Vidéo présentation de Télécom SudParis

ABOUT INSTITUT MINES-TELECOM :

The Institut Mines-Télécom (IMT) is a public institution dedicated to higher education and research for innovation in the fields of engineering and digital technology. Always attentive to the needs of the business world, the IMT combines strong academic and scientific legitimacy, close ties with companies and a unique positioning on the major transformations of the 21st century: digital, energy, industrial and educational. Its activities are carried out by the Mines and Télécom Grandes Ecoles under the authority of the Minister for Industry and Electronic Communications, two subsidiaries and associated partners or partners under agreement. ITM is a founding member of the Alliance Industrie du Futur. It has been awarded the Carnot label for the quality of its research partnerships.
Institut Mines-Télécom video presentation

MISSIONS:

  • Analyze current system design methodologies based on iterative specification, architecture design, and validation processes, and identify their limitations in terms of time and cost.

  •  Study and compare synthesis-based approaches, where system specifications enable the automatic generation of correct-by-construction solutions.

  •  Investigate the principles and capabilities of DEPS and DEPS Studio, with a focus on their current expressiveness.

  •  Contribute to extending the expressiveness of DEPS and DEPS Studio by enabling the integration of temporal specifications.

  •  Develop the first theoretical foundations required to support temporal specifications within synthesis-based design frameworks.

  •  Assess the feasibility and potential impact of these theoretical developments, with the objective of paving the way for further research, potentially within a PhD project.


For a detailed version of the subject see:

https://philippschlehubercaissier.github.io/files/phd_SYNTH.pdf (in french).

ACTIVITIES:

Conducting research at the intersection of systems design, constraint programming and automata theory.

Job requirements

Level of training and / or experience required:

- M1 completed, M2 level ongoing (it is 6 months final internship)

Essential skills, knowledge and experience:

The project lies is to some extent interdisciplinary.

We are therefore seeking a master student in Mechanical Engineering with a focus on constraint programming, Computer Science or Mathematics with some theoretical background and interest in

  •        Problem and Systems modelling.

  •        Constraint programming.

  •        Coding experience.

  •        Automata theory / formal methods

Advantageous skills, knowledge and experience:

  • Previous research projects or internships can strengthen the application.

  • Fluent English is appreciated.

Abilities and skills:

  • Research and development curiosity and autonomy

  • Teamwork and collaboration

  • Creativity


APPLICATION PROCEDURE

  • Application deadline: 20, January 2026

  • Nature of the contract:

  • To apply, please send us a CV, a cover letter

  • Location of the position : Evry-Courcouronnes (France)

  • The positions offered for recruitment are open to all with, on request, accommodations for candidates with disabilities

  • Contact person:

or