Publication date : Apr 16, 2026, 9:52AM

Votre rôleest d’effectuer un travail de thèse sur: "Resilient Telco Cloud through Continuous Verification Tackling Conflicting Behaviors".

Les industries de télécom connaissent un écosystème mouvant et des transformations technologiques majeures. Elles doivent fiabiliser leurs infrastructures, leurs applicationsTelcoCloud et anticiperles évolutions rapides des usages et du trafic sur le réseau.Face à des risques de pannes d’envergure, l'exigence de résilience est forte. Elle requiert des mises à jour logicielles fréquentes et la maîtrise de la complexité inhérente de ces systèmes distribués et dynamiques. Les opérateursKubernetes sont devenus des contrôleurs logiciels clés pour la gestion du cycle de viedu Telco Cloud. Malgré l'existence dekitsde conception et de guides de bonnes pratiques, la diversité des implémentations et les spécificités métiers de ces opérateurs laissent place à des bugs internes, reconnus difficiles à détecter[1].Les causes sont multiples: configurations incorrectes des ressources manipulées par ces opérateurs, défauts d’ordonnancement des étapes nécessaires au cycle de vie, concurrence entre opérateurs sur une même ressource. Les conséquences prennent différentes formes: panne,blocage, faille desécurité,pertede données, consommation inutile de ressources [1].Dans un contexte GitOps et CI/CD, elles concernent toutes les phases du cycle de vie des ressources déployées dans le Cloud. Le fonctionnement des opérateurs Kubernetes, stable, reproductible et sécurisé est donc crucial. Des travaux académiques récents proposent de générer automatiquement des plans de test [2,4] ou de la vérification formelle [3] du comportement d’un opérateur avant déploiement.Cesapprochesselimitentàl'analysed'un unique opérateurKubernetes. Elles ne couvrent pas les interactions complexes entre opérateurs, qui provoquent des situations de conflits ou de dépendances critiques, difficiles à déceler lors des phases de réconciliation. Le déploiement de ressources par un opérateur est compromis s’il reste en attente de ressources supprimées ou bloquées par un autre opérateur.
L'objectif de la thèse est de développer des techniques de vérification continue du comportement des opérateurs, fondées sur de l'analyse statique automatisée de leur code en intégrant leurs interactions et l'état réel des ressources déployées. Il s’agit par exemple de vérifier le risque de concurrence entre opérateurs sur une même ressource. L’approche doit répondre aux exigences de déploiement multi-clusters, à grande échelle, d'expressivité des propriétés à garantir et conduire au développement d’outillages intégrables dans des processus CI/CD.

[1] An Empirical Study on Kubernetes Operator Bugs, 2024
[2]Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management, 2023
[3]Anvil: Verifying Liveness of Cluster Management Controllers, 2024
[4]Arsc: Automated Reconciliation forState Correctness of Cluster Management, 2025

Vous êtes diplômé.e d'une école d'ingénieur ou universitaire et titulaire d'un Master Recherche dans le domaine des théories des langages en informatique, des mathématiques appliquées à l'informatique, des sciences et technologies du logiciel, des applications réparties ou des systèmes distribués.

Des compétences en langages de programmation, sémantique, modélisation et vérification formelles sont recherchées pour le poste. En outre, vous présentez une appétence pour le développement d'outils, la validation expérimentale sur plate-forme. Des compétences en Golang, Rust et/ou Python, Linux seront utiles.

Vous disposez également d'une aisance tant à l'oral qu'à l'écrit en français et en anglais, êtes curieux.se, méthodique, autonome, motivé.e par la recherche en milieu industriel, avez un esprit de synthèse, êtes capable de vous intégrer à une équipe de recherche et de travailler en mode collaboratif.

Une première expérience en modélisation d'architecture logicielle répartie, en virtualisation d'infrastructure réseau ou avec les opérateurs Kubernetes serait un plus. Une contribution à la soumission d'un article scientifique serait également fortement appréciée.

Cette thèse sera l'occasion d'évoluer au sein d'un groupe à dimension internationale, et de mener des activités de recherche sur des sujets pointus dans le domaine de la transformation des infrastructures de l'opérateur, rapprochant les technologies du réseau des technologies de l’information.

Elle sera co-encadrée par Orange Innovation et l'Inria. Elle s'appuiera sur l'expertise de l'Inria tant au niveau de l'ingénierie des infrastructures logicielles largement distribuées que sur la modélisation formelle. Elle bénéficiera en outre de l'expérience de l'équipe d'accueil sur les architectures réseau et les outils de gestion des infrastructures d’hébergement. Elle profitera également de la proximité des équipes Orange contribuant au projet Sylva(https://sylvaproject.org/) et des études menées dans le cadre de projets européens.

La réalisation de cette thèse au sein d'Orange en collaboration avec un institut de recherche national renommé offrira une opportunité rare de développement d'expertise et de son application directe dans les projets d'une entreprise innovante.

Vous aurez l'occasion de participer à des conférences internationales afin de présenter vos travaux de recherche et à des communautés opensource (e.g. CNCF). Les résultats de cette thèse pourront également faire l'objet de dépôts de brevets ou de dépôt de logiciels.

L’ambition de la Division Innovation est de porter plus loin l’innovation d’Orange et de renforcer son leadership technologique, en mobilisant nos capacités de recherche pour nourrir une innovation responsable au service de l’humain, éclairer les choix stratégiques du Groupe à long terme et influencer l’écosystème digital mondial.
Nous formons les expertes et les experts des technologies d’aujourd’hui et de demain, et veillons à une amélioration continue de la performance de nos services et de notre efficacité.
La division Innovation rassemble, dans le monde, 6000 salariés dédiés à la recherche et l’innovation dont 740 chercheurs. Porteurs d’une vision globale avec une grande diversité de profils (chercheurs, ingénieurs, designers, développeurs, data scientists, sociologues, graphistes, marketeurs, experts en cybersécurité…), les femmes et les hommes de Innovation sont à l’écoute et au service des pays, des régions et des business units pour faire d’Orange un opérateur multiservices de confiance.
Au sein de Innovation, vous serez intégré(e) dans une équipe de recherche à la pointe de l’innovation et de l’expertise sur les infrastructures Telco Cloud et le déploiement automatique des services réseaux du futur (virtualisation, 5G+, intégration continue). Vous ferez partie d’un écosystème de recherche côtoyant des ingénieurs d'études en anticipation permettant la mise en œuvre concrète des concepts étudiés, bénéficiant de plateformes d’expérimentation (Telco Cloud, 5G+).

Regardless of your age, gender, background, origin, religion, sexual orientation, disability, neurodiversity, or appearance, we actively encourage diversity within our teams, as it is a collective strength and a driver of innovation.
Orange is a disability-inclusive employer: please feel free to let us know about any specific needs you may have.