Orange
48.1270038,-1.6267186
Les industries de télécom connaissent un écosystème mouvant et des transformations technologiques majeures. Elles ont l'obligation de fiabiliser leurs infrastructures et applications Telco Cloud et de se préparer aux besoins de la 6G.
La virtualisation des infrastructures s'appuie largement sur les opérateurs Kubernetes [1] pour la gestion du cycle de vie (upgrade, mise à l'échelle) de ces applications.
Dans ce contexte de systèmes cloud par nature complexe, dynamique et distribué, le bon fonctionnement, stable, reproductible, sécurisé, des opérateurs Kubernetes s'avère crucial.
Or les bugs de code d'opérateurs sont souvent complexes à déceler par nature. D'une part, la configuration des ressources manipulées par ces opérateurs peut être sujette à des erreurs. D'autre part, les opérateurs coordonnent de multiples étapes pour rendre le service attendu, interagissent avec d'autres contrôleurs de Kubernetes ou avec des composants externes. Les symptômes de bugs liés à l'état du...
|
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, IDE, appétence pour l'analyse de code
Techniques de virtualisation Docker, Kubernetes
Scripts d'analyse de données/logs
Vous maitrisez l'anglais technique et êtes capable d'analyser de la documentation en anglais.
Une première expérience en model-checking solver serait un plus
Des connaissances en langages de spécifications et méthodes formelles seraient appréciées.
|
|
| Durée (Mois): |
6
|