Research Engineer in Reactive Synthesis - Fixed-Term Contract - 12 months

About Télécom SudParis:

Télécom SudParis is a leading public engineering school recognized at the highest level in digital science and technology. The quality of its training programs is based on the scientific excellence of its faculty and a pedagogical approach emphasizing team projects, disruptive innovation, and entrepreneurship. Télécom SudParis has 1,000 students, including 700 engineering students and approximately 150 doctoral students. Télécom SudParis is part of the Institut Mines-Télécom, the leading group of engineering schools in France, and shares its campus with Institut Mines-Télécom Business School. Télécom SudParis is a co-founder of the Institut Polytechnique de Paris (IP Paris), a world-class science and technology institute, alongside École Polytechnique, ENSTA Paris, ENSAE Paris, ENPC, and Télécom Paris. Video presentation of Télécom SudParis

About Institut Mines-Télécom:

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. Constantly attuned to the economic world, IMT combines strong academic and scientific legitimacy, proximity to businesses, and a unique positioning on the major transformations of the 21st century: digital, energy, industrial, and educational. Its activities are carried out within the Mines and Télécom engineering schools under the supervision of the minister in charge of Industry and Electronic Communications, two subsidiaries, and associated or contracted partners. IMT is a founding member of the Alliance Industrie du Futur. It holds dual Carnot label for the quality of its collaborative research. Video presentation of Institut Mines-Télécom

Context and Missions

• Conduct research on reactive synthesis and applications of automata theory.

  This project primarily focuses on practical and theoretical advancements in reactive synthesis and related topics. One of the central axes will be the synthesis of "correct-by-construction" controllers from LTL formulas.

  1. Undertake research missions in the field of reactive synthesis

  2. Contribute to the reputation of the School and Institut Mines-Télécom

Activities

1. Undertake research missions in reactive synthesis and related fields

• Participate in the execution of research contracts

• Design and develop algorithms related to reactive synthesis, such as formula translation algorithms, controller optimization, and others

• Also, participate in the application of these techniques in related disciplines like guided learning. Specifically, constraining reinforcement learning with formal supervisors

• Communicate with partners of the ASC chair (https://www.ip-paris.fr/en/research/chairs/asc) to identify common areas of interest

2. Contribute to the reputation of the School and Institut Mines-Télécom

• Be associated with publications related to formal methods research projects

• Maintain close relationships with academic institutions, research centers, and companies

• Present work during appropriate workshops and conferences (e.g., in IdF MeFoSyloma) and during the chair's days

Education

• PhD obtained less than three years ago, or

• Master's degree (Bac + 5) or equivalent, or

• Bachelor's degree (Bac + 4) or equivalent with ≥ 4 years of professional experience, or

• Associate's degree (Bac + 3) or equivalent with ≥ 6 years of professional experience, or

• High school diploma (Bac + 2) or equivalent with ≥ 10 years of professional experience

Essential Skills, Knowledge, and Experience

• Proficiency in English, both written and spoken

• In-depth scientific knowledge of learning techniques: Formal methods, automata and language theory

• Knowledge of associated software development tools and environments: Python, C++ and its ecosystem

• Knowledge of software development and engineering

• Expertise in algorithm design and analysis

• Excellent scientific communication skills

Desirable Skills, Knowledge, and Experience

• Experience in industrial systems control and/or

• Experience in developing industrial applications

• Experience in higher education teaching

• Knowledge of Windows systems

Abilities and Aptitudes

• Ability to work in a team within national or international research contracts, in collaboration with academic and industrial partners

• Interpersonal skills

• Synthesis and writing skills

• Teamwork spirit

• Responsiveness, initiative, and rigor

• Curiosity

• Autonomy

Salary Indications:

• Indicative salary range (excluding variable annual bonus): 34,000 - 40,000 euros gross per year, depending on profile and experience (reduced social charges in the public sector).

Additional Information and Application

• Contract type: 12-month fixed-term contract (CDD)

• Job category and profession (internal use): II - R, Research and Development Engineer or A (public service)

• Position open to jobs at the immediately lower level (internal use)

• Job location: Palaiseau (91)

• Positions offered for recruitment are open to all, with accommodations available upon request for candidates with disabilities

• Employment open to public service employees and/or contract staff

• Working conditions: 44 days of leave, teleworking possible, restaurant and cafeteria on site, accessibility by public transport (with employer contribution) or near major roads, staff association and sports association on campus