Missions

Concevoir, mettre en œuvre et évaluer des méthodes et outils formels pour modéliser, analyser et implanter des systèmes cyber-physiques distribués reconfigurables

Activités

- Contribuer à l’élaboration des approches formels pour modéliser des systèmes reconfigurables
- Contribuer à l’implantation / intégration des nouvelles techniques / extensions d’analyse et simulation, éventuellement dans des codes / logiciels existants
- Mener des expériences de simulation, collecter et interpréter les résultats
- Synthétiser / rédiger des rapports et articles scientifiques sur les résultats obtenus
- Collaborer avec les chercheurs travaillant sur le projet

Compétences

Compétences métier/savoir faire
- Expérience dans le domaine des méthodes formelles et des systèmes cyber-physiques.
- Expérience des notions de sémantique, automates et langages formels.
- Expérience des techniques et outils de modélisation et simulation des systèmes dynamiques, temporisés et hybrides (par exemple, Open Modelica).
- Familiarité avec des notions de contrôle des systèmes dynamiques
- Maîtrise des langages de programmation tels que Java, C++, C, Python.
- Familiarité avec les logiciels de suivi de version (par exemple, Git) et les pratiques en matière de suivi du code.

Savoir être
- Capacité à s'adapter à l'évolution des exigences du projet et volonté de contribuer à la recherche collaborative.
- Capacité à travailler au sein d'une équipe, avec des déplacements limités pour assister aux réunions du projet

Formation souhaitée :
- Doctorat et/ou diplôme d'ingénieur dans un des domaines suivants : Informatique, Mathématiques Appliquées ou un domaine connexe.
- Expérience avérée dans les méthodes formelles pour systèmes cyber-physiques
- Aptitude avérée à travailler dans le cadre de projets de recherche.

Contexte de travail

Le laboratoire VERIMAG est une unité mixte de recherche du CNRS, de l’Université Grenoble-Alpes et de Grenoble INP. Les travaux de recherche de VERIMAG visent à développer des méthodes formelles et des outils, théoriques et techniques, pour une informatique sûre et sécurisée, avec applications aux systèmes cyber-physiques.

Le projet ANR ADAPT 2024-2028 est un projet de recherche collaboratif entre FEMTO-ST (Université Franche-Comté), Inria SPIRALS (Lille) et VERIMAG. Le projet vise à développer un cadre formel et des outils qui soutiennent la conception des systèmes distribués cyber-physiques complexes (par exemple, à base de Blinky Blocks ou des catoms) et intègrent le contrôle adaptatif pour permettre des reconfigurations dynamiques. Le projet ADAPT est pris en charge par l’équipe Mohytos de VERIMAG, qui apporte au projet ses compétences en modélisation et analyse des systèmes cyber-physiques et des systèmes dynamiquement reconfigurables.

Contraintes et risques

Des déplacements de courte durée en France, pour des réunions du projet ADAPT, sont à prévoir.