General information
Offer title : Doctorand (M/F) (H/F)
Reference : UMR5104-RADIOS-001
Number of position : 1
Workplace : ST MARTIN D HERES
Date of publication : 18 September 2024
Type of Contract : PhD Student contract / Thesis offer
Contract Period : 36 months
Start date of the thesis : 1 December 2024
Proportion of work : Full time
Remuneration : 2 135,00 € gross monthly
Section(s) CN : Information sciences: bases of information technology, calculations, algorithms, representations, uses
Description of the thesis topic
Verification of distributed parametric systems with broadcast
Broadcast is an important communication pattern, widely used by mobile and wireless networks. This thesis aims at developping automated verification methods for networks with broadcast communication, taking into account aspects of mobility and reconfiguration.
Work Context
The VERIMAG laboratory is a joint research unit of the CNRS, the University of Grenoble-Alpes and Grenoble INP. VERIMAG's research aims to develop formal methods and tools, theoretical and technical, for safe and secure computing, with applications to cyber-physical systems. This work will be carried out in the context of a thesis funded by the ANR PaVeDys project (https://raduiosif.github.io/PAVEDYS/). Distributed systems are essential to the functioning of our society today. However, there are no methods to guarantee their reliability and correct operation. The goal of the PaVeDys project is the automated verification of reconfigurable parameter and distributed systems.
Constraints and risks
Short-term trips to France for PaVeDys project meetings are to be expected. This project does not involve any particular risks.