Research Engineer in State Identification for Reactive Real-Time Systems – 3-Month Fixed-Term Contract

About Télécom SudParis:

Télécom SudParis is a major public engineering school recognized at the highest level in digital science and technology. The quality of its training is based on the scientific excellence of its faculty and a pedagogy that emphasizes team projects, disruptive innovation, and entrepreneurship. Télécom SudParis has 1,000 students, including 700 engineering students and around 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 Institut Polytechnique de Paris (IP Paris), a global science and technology institution with É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 engineering and digital fields. Constantly attuned to the economic world, IMT combines strong academic and scientific legitimacy, close ties with businesses, and a unique positioning on the major transformations of the 21st century: digital, energy, industrial, and educational. Its activities are deployed within the major Mines and Télécom 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 is dually labeled Carnot for the quality of its partnership research. Video presentation of Institut Mines-Télécom

Missions

• Conduct fundamental and applied computer science research on state identification and detection of race conditions in real-time systems.

• Study and develop approaches to improve the reliability and performance of distributed network systems.

• Utilize real-time formal models, state identification methods, and race condition detection strategies.

• Contribute to the development of new analysis and verification methods for real-time systems.

Activities

 1. Conduct research on state identification and detection of race conditions in real-time systems

• Actively and regularly participate in research team meetings.

• Collaborate with team members on scientific work.

• Model distributed network systems using Timed Automata and Timed Finite State Machines.

• Specify and verify temporal properties, particularly race conditions, using solvers and formal verification tools such as UPPAAL.

• Implement and evaluate existing methods for generating state identification sequences for timed automata and timed finite state machines, including synchronizing sequences, initial state determination (homing sequences), and distinguishing sequences.

• Exploit techniques such as successor trees and abstraction methods to derive state identification sequences.

• Design new strategies for state identification and race condition detection.

• Conduct experiments, analyze results, and evaluate the performance of developed methods.

2. Valorize and disseminate research results

• Write scientific papers and contribute to their publication in international journals and conferences.

• Present work results at conferences, seminars, symposia, and other scientific events.

• Participate in scientific exchanges and contribute to the dissemination of knowledge within the research community.

3. Contribute to teaching and supervision activities

• Participate in the supervision of students within the framework of research projects, practical work, or academic projects.

• Contribute to teaching activities related to the project's scientific fields.
  

Education

• Doctorate or PhD obtained less than 3 years ago

Essential skills, knowledge, and experience

• Scientific Expertise: Master the analysis of reactive real-time systems and understand the links between race conditions and final state identification.

• Race Condition Detection: Master concepts related to race condition detection and concurrency theory.

• Formal Verification: Master methods for verifying concurrency between inputs and outputs in timed automata and timed finite state machines.

• State Identification: Master concepts and methods of state identification, including synchronizing and distinguishing sequences for timed automata and timed finite state machines.

• Sequence Robustness: Analyze the robustness conditions of state identification sequences with respect to race conditions.

• Verification Tools: Use formal verification tools and solvers, particularly UPPAAL and Z3.

• Programming: Apply programming skills for the implementation, experimentation, and evaluation of developed methods.

• Languages: Master English, both written and spoken. Knowledge of French is an asset.

Desirable skills, knowledge, and experience

• Distributed network and Cloud systems are considered as case studies.

• Relevant knowledge and experience in networks, cloud, and distributed systems would be an asset.

Abilities and aptitudes

• Curiosity and autonomy in research

• Teamwork and collaboration

• Writing (scientific) and oral communication

• Creativity and critical thinking

• Time management

Salary indications:

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

Additional information and application

• Application deadline: November 15, 2026

• Contract type: 3-month fixed-term contract

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

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

• Job location: Palaiseau (91)

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

• Position open to public service holders and/or contract employees.

• Working conditions: 44 days of leave, remote work possible, on-site restaurant and cafeteria, public transport accessibility (with employer contribution) or close to road networks, staff association and sports association on campus.

Find Jobs in France on Arbeitnow