IM
Research and Development Engineer in Formal Methods - 12 months contract
Contract type
One-time
Work mode
Hybrid · Palaiseau, France
Experience
3 years
Job description
R&D engineer position at Télécom Paris contributing to the VITAMIN-C project, which develops formal verification methods and tools for cybersecurity properties in distributed and autonomous multi-agent systems. The role focuses on formal modelling of cybersecurity scenarios, strategic model checking, and integrating verification algorithms into the existing VITAMIN platform.
At a glance
- Employment
- Contract
- Work mode
- Hybrid · Palaiseau, France
- Languages
- English
- Pay
- EUR 33,614 – 43,000 / year
- Apply before
- December 3, 2026
What you'll do
- Carry out R&D work in formal methods and cybersecurity verification
- Contribute to the research profile of Télécom Paris and Institut Mines-Télécom
- Design, implement, and evaluate formal verification techniques for VITAMIN-C
- Formal modelling of cybersecurity scenarios
- Strategic model checking
- Development and optimisation of verification algorithms and their integration into the existing platform
- Participate in experimental evaluations using cybersecurity benchmarks and industrial use cases
What we're looking for
- Sound knowledge of formal methods, transition systems, verification algorithms and software development
- Ability to design, test and document research software in a collaborative environment
- Good command of English
- Good team spirit, rigour, organisational skills, analytical and problem-solving abilities
- Strong communication and technical writing skills
- Master's degree (Bac+5) or equivalent; or a Bachelor's degree (Bac+4) with at least 4 years' experience; or a Bachelor's degree (Bac+3) with 6 years' experience; or a two-year higher education qualification (Bac+2) with 10 years' professional experience
Nice to have
- Skills in temporal or strategic logic, model checking, symbolic methods, SAT/SMT and multi-agent systems
- Experience in cybersecurity, attack graphs, Python/C++ programming, Docker or distributed systems
Benefits
- 49 days annual leave (CA + RTT)
- Flexible working hours (depending on department activity)
- Telecommuting 1 to 3 days/week possible
- 75% public transport pass reimbursement
- Proximity to numerous sports facilities, concierge service, underground parking, in-house catering, etc.
- Social security contributions lower than in the private sector
Apply
About Télécom Paris (Institut Mines-Télécom)
One of France's top 6 general engineering schools
Télécom Paris is part of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris.
Mission
To train, imagine and undertake to design digital models, technologies and solutions for a society and economy that respect people and their environment.
Key facts
- Part of the IMT (Institut Mines-Télécom)
- Founding member of the Institut Polytechnique de Paris
- Located 20 km from Paris (RER B and C suburban train lines, close to major roads)