Engineer in Reactif Synthesis - Temporary contract - 12 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

CONTEXT :

Conduct research on reacti synthesis and applications of automata theory.

The project is mostly concerned with practical and theoretical advances of reactif synthesis from LTL formulas.

MISSIONS :

1. Research in theoretical and practical aspects of reactif synthesis
2. Tool development (ltlsynt)
3. Participation at workshops and seminars

ACTIVITIES :

1/ Conducting research and tool development for Reactif Synthesis:
As a joint effort with the automata group at Epita, we are developing the tool ltlsynt, synthesizing controllers from LTL specifications. Within this pipeline many points can be improved: game solving, better support and detection for fragments of LTL, Mealy Machine construction and minimization. The part on which we will focus also depends on the preferences of the retained candidate.

Since the final goal is to have a powerful tool, tuning the implementation and benchmarking is a significant part of this task.

2/ Contribute to the preparations and advancing SyntComp

SyntComp (https://www.syntcomp.org/) is the annual synthesis competition, comparing different tools on a large variety of benchmarks from academia and industry.

We recently migrated from the StarExec cluster to a cluster hosted by the CEA (tgcc irene).

The work on SyntComp has several sub-tasks:

• Update the benchmarks and add new benchmarks from the literature and conceive new families of benchmarks
• Streamline the execution scripts to be more suitable for execution on such a cluster via slurm
• Improve the model checking of the solutions to be more efficient

3/ Publications and group activities

• The obtained contributions should result in at least one conference paper
• Participation in “reactif synthesis group activities” like the MeFoSyLoMa and pACTS meeting, associated seminars and workshops and Summer/Winter schools on the subject
• Possible (co)-supervision of interns
• Possible integration into collaborative projects with members of the chair complex systems architecture (https://www.ip-paris.fr/en/research/chairs/asc)

Level of training and / or experience required:

- Bac+5 degree or equivalent

- PhD in computer science or equivalent is a plus

Essential skills, knowledge and experience:

- Fluent English is a must, both written and spoken

Advantageous skills, knowledge and experience:

- In depth knowledge of c++, python, git, docker or slurm

- A strong background in formal methods, particularly automata theory and logics

- Experienced in tool development

- French

Abilities and skills:

- Research curiosity and autonomy

- Teamwork and collaboration with international partners

- Takes initiative to tackle unexpected problems or take advantage of unforeseen opportunities

APPLICATION PROCEDURE

• Application deadline: 09/06/2025
• Nature of the contract: Temporary contract - 12 months
• Category and profession of the position: II - R, Research and development engineer
• 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
• Working conditions: Teleworking possible, restaurant and cafeteria on site, accessibility by public transport (with employer's participation) or close to main roads, staff association and sports association on campus
• Contact person: Philipp SCHLEHUBER-CAISSIER, philipp.schlehuber-caissier@telecom-sudparis.eu