About this role
Publication date : Oct 07, 2026, 12:04PM Les industries de télécom connaissent un écosystème mouvant et des transformations technologiques majeures. Elles doivent fiabiliser leurs infrastructures, leurs applications Telco Cloud et anticiper les évolutions rapides des usages et du trafic sur le réseau. Les opérateurs Kubernetes [1] sont devenus des contrôleurs logiciels clés pour la gestion du cycle de vie du Telco Cloud. Malgré l'existence de kits de 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 [2]. 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 de sécurité, perte de données, consommation inutile de ressources [2]. 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.
Le stage est proposé dans le cadre d'un domaine de recherche sur l'évolution des infrastructures et des réseaux, dans lequel un outil expérimental de vérification d'opérateur Kubernetes a été développé. Cet outil KOMET extrait automatiquement, à partir du code source Go d'un opérateur, un modèle du comportement et des données associées permettant l'expression de propriétés à garantir. Ce stage sera coordonné avec une thèse qui débute sur les comportements conflictuels entre opérateurs et un autre stage sur l'extension de KOMET.
Objectifs – Votre rôle Vous avez pour mission de réaliser la campagne d'évaluation de l'outil expérimental de vérification d’opérateurs Kubernetes, KOMET. Les étapes suivantes sont proposées :
• Documentation de l’interface de KOMET permettant d’exprimer de nouvelles propriétés, • Automatisation de la reproduction de bug détecté par KOMET sur un ensemble d'opérateurs Kubernetes, • Recherche automatique de report de bugs dans GitHub, • Elaboration de scenarii expérimentaux reproduisant ces bugs, • Expression et implémentation de nouvelles propriétés comportementales d’opérateurs Kubernetes relatives aux bugs collectés, • Rédaction du rapport de la campagne d'évaluation.
[1] https://kubernetes.io/docs/concepts/extend-kubernetes/operator/ [2] An Empirical Study on Kubernetes Operator Bugs, 2024 Vous êtes en dernière année d’école d’ingénieurs informatique ou vous préparez un diplôme de niveau Bac + 5, avec les compétences suivantes : • Langages de programmation Golang, Python • Environnement de développement Linux, Git, OpenSource, appétence pour l'analyse de code. • Techniques de virtualisation Docker, Kubernetes. • Scripts d'analyse de données/logs. Vous maîtrisez l’anglais technique et êtes capable d’analyser de la documentation en anglais. Des connaissances en langages de spécifications et méthodes formelles seraient appréciées. Une première expérience avec un solveur de model checking serait un plus.
Date souhaitée de prise de poste:de janvier à mars 2027 Ce projet offrira au stagiaire l'opportunité de contribuer à l'excellence scientifique et d'influencer l'écosystème opérationnel. Le stagiaire sera intégré dans une équipe de recherche avec d'autres étudiants (doctorant, stagiaires) et pourra être amené à contribuer à un projet collaboratif européen. 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. La division Innovation rassemble, dans le monde, 6000 salariés dédiés à la recherche et l’innovation dont 740 chercheurs. Au sein d’Orange Innovation, vous rejoindrez la direction NECTAR en charge de contribuer aux innovations liées aux offres IaaS (Infrastructure as a Service) du Groupe tout en soutenant, et collaborant avec, les régions et pays. La direction assure et articule les 3 phases de recherche, d’anticipation et de conception-déploiement dans un souci d’optimisation technique, économique et opérationnelle. Desired start date : Jan 01, 2027, 12:00AM
At Orange, only your skills matter.
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.