PLM System Developer
A leading French public engineering institution is seeking a researcher to conduct fundamental and applied research in computer science, focusing on state identification and race condition detection in real-time systems. The role involves studying and developing approaches to improve the reliability and performance of distributed network systems using formal real-time models. The successful candidate will contribute to the development of new analysis and verification methods for complex systems within a high-level academic and scientific environment. This position offers the opportunity to collaborate with a global research community and participate in innovative projects at the intersection of industry and digital transformation.
Opportunity Preview
The complete description, company, hiring contact, exact city and Direct Apply are available after access is unlocked.
Opportunity overview
Required role
Required platforms
Required skills
Required industry experience
Responsibilities
- Conduct research on state identification and race condition detection in real-time systems.
- Model distributed network systems using Timed Automata and Timed Finite State Machines.
- Specify and verify temporal properties using formal verification tools and solvers.
- Implement and evaluate methods for generating state identification sequences.
- Design new strategies for state identification and race condition detection.
- Draft scientific articles and present research results at international conferences.
- Participate in the supervision of students for research projects and academic work.
- Contribute to teaching activities related to the project's scientific domains.
Requirements
- PhD obtained within the last 3 years in a relevant field.
- Expertise in analyzing reactive real-time systems and concurrency theory.
- Mastery of formal verification methods for timed automata and finite state machines.
- Proficiency in state identification concepts including synchronization and distinction sequences.
- Experience using formal verification tools and solvers such as UPPAAL and Z3.
- Strong programming skills for implementation, experimentation, and evaluation.
- Fluency in English (written and oral); knowledge of French is an asset.
- Ability to work autonomously and collaboratively within a research team.