Intern, in the area of formal methods HDA GALOIS TIMES OMEGA (M/F) - 6 months

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:

The internship project seeks to bring together recent works on omega-regular weighted automata and works on Galois games.

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

The internship can take place in either Evry or Palaiseau.

ACTIVITIES:

• Conducting research of automata theory and formal proofs

  •  regular participation in the research meetings (Mefosyloma)

  •   joint work in a research team

  •   prototype implementations

    

• Presentation and publication of the obtained results, including

  • Seminars and workshops

  • Master thesis

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 concerns theoretical computer science and implementations.

We therefore are seeking a master student in Computer Science or possible mathematics with theoretical background and interest in

• Automata theory and algorithmics.

• Formal proof systems.

• Possibly implementations

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

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

  • Dylan BELLIER, RST, dylan.bellier@telecom-sudparis.eu

  • Philipp SCHLEHUBER-CAISSIER, RST, philipp.schlehuber-caissier@telecom-sudparis.eu