Topic description
Cette thèse vise à faire progresser les connaissances scientifiques sur le stockage de données décentralisé en combinant conception algorithmique, vérification de la disponibilité des données et validation rigoureuse des solutions proposées. Le premier objectif consiste à développer de nouveaux algorithmes distribués favorisant la frugalité algorithmique, afin de réduire les besoins en calcul, en mémoire et en énergie. Cette approche permet de limiter les coûts d'infrastructure, de faciliter le déploiement sur des environnements contraints et de contribuer à une informatique plus
durable.
Le deuxième objectif porte sur la conception de mécanismes permettant de démontrer efficacement la possession effective des données dans des architectures réparties entre plusieurs nœuds indépendants. Les travaux viseront des protocoles légers et adaptés au passage à l'échelle, capables de vérifier la disponibilité des données sans transferts massifs ni surcharge réseau.
Enfin, le troisième objectif concerne la vérification formelle des algorithmes et protocoles développés afin d'en garantir la correction et la fiabilité. La modélisation mathématique et l'automatisation des analyses permettront de renforcer la robustesse opérationnelle, la reproductibilité scientifique et les perspectives de transfert vers des applications industrielles.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
This thesis aims to advance scientific knowledge in decentralized data storage by combining algorithm design, data availability verification, and rigorous validation of the proposed solutions.
The first objective is to develop new distributed algorithms that emphasize algorithmic frugality, in order to reduce computational, memory, and energy requirements. This approach helps lower infrastructure costs, facilitates deployment in resource-constrained environments, and contributes to more sustainable computing.
The second objective focuses on designing mechanisms to efficiently prove the actual possession of data in architectures distributed across multiple independent nodes. The work will target lightweight, scalable protocols capable of verifying data availability without massive data transfers or network overhead.
Finally, the third objective concerns the formal verification of the developed algorithms and protocols to ensure their correctness and reliability. Mathematical modeling and automated analysis will strengthen operational robustness, scientific reproducibility, and the potential for transfer to industrial applications.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Début de la thèse : 01/10/
Funding category
Funding further details
Financement d'un établissement public Français
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.