The Research Engineer in State Identification will focus on conducting in-depth research into state identification and competition condition detection in real-time systems at Institut Mines-Télécom. This role involves collaborating with a dedicated team, modeling distributed networks, and utilizing formal verification tools to enhance system reliability and performance. Candidates should have a recent PhD and expertise in real-time systems analysis, competition theory, and various verification