Skip to content

Intern, in the area of systems design HDA (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:

  • Contribute to the verification of distributed systems using formal methods.

  • Join a research group working on Petri nets and model-checking techniques based on higher-dimensional automata (HDA).

  • Study and address challenges related to model checking of concurrent systems against temporal properties.

  • Investigate temporal properties such as deadlock detection, quasi-liveness, and LTL-like (Linear Temporal Logic) specifications.

  • Develop and analyze model-checking procedures suited to concurrent and distributed processes.

  • Implement the proposed techniques within the research group’s prototype tool pn2HDA.

     

    A more detailed description of the subject can be found here: https://philippschlehubercaissier.github.io/files/stage_HDAPN.pdf

    The theory of HDA has seen a rapid development in recent years adapting many techniques from standard automata theory to HDAs (Kleene Theorem etc.). This internship will seek to capatilize upon these advances.

    This internship will be well integrated in the parisian research group on HDAs and pomsets (https://p-acts.github.io/, https://ulifahrenberg.github.io/pomsetproject/).

    The internship can take place in either Evry or Palaiseau.

ACTIVITIES:

  • Conducting research in the area of formal methods for verification, including

    • regular participation in the research meetings (Pacts, PPWG, Mefosyloma), Mefosy

    • joint work in a research team

    • development of a model checker

 

  • Presentation and publication of the obtained results, including

    • Seminars and workshops

    • Master thesis

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 in the major Computer Science domain of Formal Methods.

We therefore are seeking a master student in Computer Science or mathematics with some theoretical background or at least, interest.

  • Formal languages and logics.

  • Automata theory and algorithmics.

  • Programming skills are required.

Advantageous skills, knowledge and experience:

  • Previous research projects or internships can strengthen the application.

  • Theoretical background on Petri nets is a plus

  • 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: Intern of 6 months

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

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

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

  • Contact person:

or