2018-00608 - [PostDoc2018-KAIROS-IPLSPAI] Model-Based formal security analysis of IoT systems (around software)

Niveau de diplôme exigé : Thèse ou équivalent

Fonction : Post-Doctorant

A propos du centre ou de la direction fonctionnelle

Le centre Inria Sophia Antipolis - Méditerranée compte 37 équipes de recherche, ainsi que 9 services d’appui à la recherche. Le personnel du centre (600 personnes environ dont 400 salariés Inria) est composé de scientifiques de différentes nationalités (250 personnes étrangères sur 50 nationalités), d’Ingénieurs, de Techniciens et d’Administratifs. 1/3 du personnel est fonctionnaire, les autres sont contractuels. La  majorité des équipes de recherche du centre sont localisées à Sophia  Antipolis et Nice dans les Alpes-Maritimes. Six équipes sont  implantées à Montpellier et une équipe est  hébergée par le département d'informatique de l'université de Bologne en Italie. Le Centre est membre de la Communauté d’Université et d’Établissement (ComUE) « Université Côte d’Azur (UCA) »

Contexte et atouts du poste

A post-doctoral position is opened in the Kairos team (joint between Inria Sophia Méditerranée Centre and UMR I3S from CNRS/Université de Nice Sophia-Antipolis, both in Université Côte d'Azur).

This position is to be funded by the Inria ILP programme, on the SPAI project (Security by Program Analysis in the IoT). Other partners in SPAI are the INDES, ANTIQUE, CELTIQUE and PRIVATICS Inria teams, from several Inria Centres. While other partners will focus on program analysis for IoT-friendly languages, our work will contribute to the analysis of interactions with physical elements through connected sensible objects. Formal abstraction (and possible extensions) of IoT-related standards are to be considered, as well as formal expressions of security provisions and requirements in the augmented setting. 

The global objective of the Inria Project Lab SPAI is to combine methods in language design, program analysis, domain-specific property definition and system modeling to study security in IoT systems.

The position is an opportunity to learn about converging topics, where software engineering and system design meet with a common purpose in modeling and analysis of security/safety issues.

The collaboration between teams will materialize in a number of joint meetings, at Inria locations.


Mission confiée

The post-doc will first deepen his/her knowledge on current research on Language-Based and Model-Based security analysis for IoT systems, specially by studying from the works of SPAI partners (here previous background may be a plus, but assessed ability to cope with such type of research in similar domains may suffice).

Then the post-doc wil consider the issue of modeling sensing connected objects (and their controlers, or even "digital twins") in a way compliant with reactive and dynamic programming style as advocated in SPAI. The expression of security  properties and contexts will be favored by interactions with experts on such topics from the various partner teams.

While the primary goal is to provide modeling ideas that lead to publications, the construction of prototype tools to support the framework may be considered.

Principales activités

See above.

The work will first focus (together with partners) on a loose definition of the requested features for a model of sensing connected objects that will be endowed with executable specification dynamics, so that it may be used in simulation or symbolic execution with the actual software-in-the-loop, with properties run as observers to test security on the combined system of programs with their environment.


Technical skills and level required :

Languages : English (French may ease comfort of living in Southern French Riviera)

Relational skills : Good ability for team playing (curious, autonomous while not affraid to ask questions if needed

Other valued appreciated : Correct writing skills for research reports

Avantages sociaux

  • Restauration subventionnée
  • Transports publics remboursés partiellement
  • Sécurité sociale
  • Congés payés
  • Aménagement du temps de travail
  • Installations sportives


Salaire: 2650 € brut mensuel