Informations générales
Intitulé de l'offre : Doctorand en verification formelle (H/F)
Référence : UMR5104-RADIOS-001
Nombre de Postes : 1
Lieu de travail : ST MARTIN D HERES
Date de publication : mercredi 18 septembre 2024
Type de contrat : CDD Doctorant/Contrat doctoral
Durée du contrat : 36 mois
Date de début de la thèse : 1 décembre 2024
Quotité de travail : Temps complet
Rémunération : La rémunération est d'un minimum de 2135,00 € mensuel
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Description du sujet de thèse
Vérification de systèmes distribués paramétrés avec broadcast
Le broadcast (diffusion) est un moyen important de communication utilisé dans les reseaux mobiles et sans fil. Cette these vise a developper des methodes pour la verification automatisée de reseaux avec communication par broadcast, en tenant compte des aspects de mobilité et reconfiguation.
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.
Ce travail sera effectué dans le contexte d'une thèse financée par le projet ANR PaVeDys (https://raduiosif.github.io/PAVEDYS/). Les systèmes distribués sont essentiels pour le fonctionnement de notre societe actuelle. Cependant il n'existe pas de methodes pour garantir leur fiabilite et la correction du fonctionnement. Le but du projet PaVeDys est la vérification automatisée de systèmes paramètres et distribues reconfigurables.
Contraintes et risques
Des déplacements de courte durée en France, pour des réunions du projet PaVeDys sont à prévoir. Ce projet ne comporte pas des risques particulières