To enable the emergence of flexible and resilient energy networks, we need to find solutions to the challenges facing these networks, in particular digitization and the protection of data flows that this will entail, and cybersecurity issues.
In the Tasting project, and in collaboration with RTE, the French electricity transmission network operator, your role will be to analyze data protection for all parties involved. The aim is to verify security properties on data in distributed systems, taking into account that those induce a number of uncertainties.
To this end, you will develop a tool-based methodology for protecting the data of power grid stakeholders. The approach will be based on formal methods, in particular runtime verification, applied to a distributed control system.

This postdoc position is part of the TASTING project, which aims to meet the key challenges of modernizing and securing power systems. This 4-year project, which started in 2023, addresses axis 3 of the PEPR TASE call “Technological solutions for the digitization of intelligent energy systems”, co-piloted by CEA and CNRS, which aims to generate innovations in the fields of solar energy, photovoltaics, floating wind power and for the emergence of flexible and resilient energy networks. The targeted scientific challenges concern the ICT infrastructure, considered as a key element and solution provider for the profound transformations that our energy infrastructures will undergo in the decades to come.
The project involves two national research organizations, INRIA and CEA through its technological research institute CEA-List. Also involved are 7 academic laboratories: G2Elab, GeePs, IRIT, L2EP, L2S and SATIE, as well as an industrial partner, RTE, which is supplying various use cases.