Research and Development Engineer in Artificial Intelligence - 12 months contract

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 (VerIficaTion of A MultI-ageNt 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 cybe