Stage Recherche – Implémentation d'extensions d'un outil de vérification d'opérateurs Kubernetes F/H

développé. Cet outil KOMET extrait automatiquement, à partir du code source Go d'un opérateur, un modèle du comportement... sur les comportements conflictuels entre opérateurs et un autre stage sur la campagne d'évaluation de KOMET. Objectifs – Votre rôle...

Lugar: Cesson-Sévigné, Ille-et-Vilaine | 08/10/2026 17:10:19 PM | Salario: S/. No Especificado | Empresa: Orange

Stage Recherche - Evaluation et amélioration d'un outil de vérification d'opérateurs Kubernetes F/H

expérimental de vérification d'opérateur Kubernetes a été développé. Cet outil KOMET extrait automatiquement, à partir du code... sur l'extension de KOMET. Objectifs – Votre rôle Vous avez pour mission de réaliser la campagne d'évaluation de l'outil...

Lugar: Cesson-Sévigné, Ille-et-Vilaine | 08/10/2026 17:10:51 PM | Salario: S/. No Especificado | Empresa: Orange
1