R&D Engineer – Formal Methods & Cybersecurity (Hybrid)

Institut Mines-Télécom; Palaiseau; On-site; EUR 34,000 - 43,000; Full time

Job summary

Télécom Paris, part of the Institut Mines-Télécom, is seeking an R&D engineer to advance formal verification for cybersecurity in distributed and autonomous systems. You will model cybersecurity scenarios, develop verification algorithms, and evaluate them on benchmarks and real use cases.

Required: Master’s or Bac+5, strong background in formal methods and model checking, plus Python/C++ and Docker. English proficiency is essential; French language skills are a plus.

Qualifications

• Master’s degree or equivalent; or Bachelor with 4+ years’ experience.
• Experience with formal methods, verification and model checking.
• Strong English communication skills.
• Nice to have: cybersecurity, attack graphs, Python/C++, Docker.
• Ability to design, test and document research software in a collaborative environment.

Responsibilities

• Carry out R&D in formal methods and cybersecurity verification.
• Contribute to Télécom Paris and IMT research profile.
• Develop and evaluate verification algorithms and integrate into the platform.
• Participate in experimental evaluations with cybersecurity benchmarks and industrial use cases.

Skills

Formal methods

Transition systems

Model checking

Cybersecurity

Python

C++

Docker

Distributed systems

Education

Master’s degree (Bac+5)

Tools

Python

C++

Docker

Job description

Télécom Paris, part of the Institut Mines-Télécom, is seeking an R&D engineer to advance formal verification for cybersecurity in distributed and autonomous systems. You will model cybersecurity scenarios, develop verification algorithms, and evaluate them on benchmarks and real use cases.

Required: Master’s or Bac+5, strong background in formal methods and model checking, plus Python/C++ and Docker. English proficiency is essential; French language skills are a plus.