Détection d’attaques dans l’infrastructure de contrôle distribué du réseau électrique

Description de l'offre : Afin de permettre l’émergence de réseaux d’énergie flexibles et résilients, il faut trouver des solutions aux défis auxquels ils font face. Dans le cadre de ce postdoc on s’intéresse en particulier à la numérisation et la protection des flux de données que cela entraînera, ainsi qu’aux problématiques de cybersécurité. Dans le cadre du projet Tasting, et en collaboration avec RTE, l’opérateur français du réseau de transport de l’électricité, votre rôle sera de se pencher sur la protection des données de toutes les parties concernées. Le but est de vérifier des propriétés de sécurité sur les données dans des systèmes distribués, qui induisent un certain nombre d’incertitudes par construction. Pour cela, vous élaborerez une méthodologie outillée pour la protection des données des acteurs du réseau électrique. Lapos;approche sera basée sur les méthodes formelles de vérification à lapos;exécution appliquées à un système de contrôle distribué. Cette offre de postdoc sapos;inscrit dans le cadre du projet TASTING qui vise à relever les principaux défis liés à la modernisation et à la sécurisation des systèmes électriques. Ce projet de 4 ans qui a commencé en 2023 adresse l’axe 3 de lapos;appel PEPR TASE quot;Solutions technologiques pour la numérisation des systèmes énergétiques intelligentsquot;, co-piloté par le CEA et le CNRS. Les défis scientifiques ciblés concernent lapos;infrastructure TIC, considérée comme un élément clé et un fournisseur de solutions pour les transformations profondes que nos infrastructures énergétiques subiront dans les décennies à venir. Dans ce projet sont impliqués deux organismes nationaux de recherche, INRIA et le CEA au travers de son institut de recherche technologique de la direction de la recherche technologique CEA-List. Sont également impliqués 7 laboratoires académiques : le G2Elab, le GeePs, l’IRIT, le L2EP, le L2S et le SATIE, ainsi qu’un partenaire industriel, RTE, qui fournit différents use cases.

Profil du candidat : Ph. D. in Computer Science, Mathematics or System Engineering