Research and Development Engineer in Artificial Intelligence (H/F)

Who we are ?

Télécom Paris, part of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of France's top 6 general engineering schools.

The mainspring of Télécom Paris is to train, imagine and undertake to design digital models, technologies and solutions for a society and economy that respect people and their environment.

Modern distributed systems are increasingly complex, with multiple interconnected components, services, and autonomous agents interacting in dynamic environments. Ensuring their cybersecurity requires analysing potential attacks, understanding the strategies available to attackers and defenders, and verifying that critical security properties are preserved. Formal verification provides rigorous methods for addressing these challenges, allowing engineers to reason about system behaviours and establish mathematical guarantees. However, applying these techniques to realistic systems remains challenging. Verification problems can involve large state spaces and complex strategic interactions, while constructing formal models and specifying security properties often requires specialised expertise.

The VITAMIN-C (Ver Ifica Tion of A MultI-age Nt system for Cybersecurity) project aims to address these challenges by combining formal verification with artificial intelligence. Building on VITAMIN, an existing modular model-checking platform for multi-agent systems, the project develops methods and tools for analysing cybersecurity properties in distributed and autonomous systems. Attackers and defenders are represented as agents with specific capabilities, objectives, and available actions. Their interactions are analysed using attack graphs, temporal and strategic logics, and model-checking techniques. The project also investigates how AI can improve the efficiency and accessibility of these verification processes.

A central objective of VITAMIN-C is to integrate AI techniques into the verification workf