Research Internship – Implementation of extensions for a tool...

Publication date: Nov 09, 2026, 4:46 PM

Contract duration: 6 months

Telecom industries are experiencing a dynamic ecosystem and major technological transformations. They must ensure the reliability of their infrastructures and Telco Cloud applications, and anticipate rapid changes in usage and network traffic. Faced with the risk of large-scale failures [1], the demand for resilience is high. It requires frequent software updates. Kubernetes Operators [2] have become key software controllers for Telco Cloud lifecycle management. Despite the existence of design kits and best practice guides, the diversity of implementations and the specific business needs of these operators leave room for internal bugs, which are recognized as difficult to detect [3]. The causes are multiple: incorrect configurations of resources manipulated by these operators, faulty scheduling of steps required for the lifecycle, concurrency between operators on the same resource. The consequences take various forms: failure, blockage, security vulnerability, data loss, unnecessary resource consumption [3]. These are all the more critical as GitOps and CI/CD deployment techniques automatically propagate updates in production clusters.

The internship is proposed within the framework of a research domain on the evolution of infrastructures and networks, in which an experimental tool for verifying Kubernetes operators has been developed. This tool, KOMET, automatically extracts from the Go source code of an operator a model of its behavior and associated data, allowing the expression of properties to be guaranteed. This internship will be coordinated with a thesis starting on conflicting behaviors between operators and another internship on the evaluation campaign of KOMET.

Your mission is to implement extensions for KOMET to overcome the limitations of this experimental Kubernetes operator verification tool.

This involves in particular:

• identifying Go SSA [4] library instructions not currently taken into account by KOMET, namely Go instructions that allow simultaneous execution and synchronization of multiple processes, such as Go, MakeChan, Select, and Send; and Go-specific data type conversion instructions, such as MultiConvert, SliceToArrayPointer,
• specifying and implementing extensions to KOMET's Go static code analysis, by integrating these missing instructions,
• conducting an evaluation campaign of KOMET on Kubernetes operators that use these Go instructions, collected for example from the open-source catalog https://operatorhub.io/, and analyzing the contribution of the proposed extensions,
• documenting these extensions,
• writing the evaluation report comparing with the results of KOMET obtained before extensions.

You are in your final year of an IT engineering school or pursuing a Master's degree (Bac + 5), with the following skills: • Golang, Python programming languages • Linux, Git, OpenSource development environment, aptitude for code analysis. • Docker, Kubernetes virtualization techniques.

You have a strong command of technical English and are capable of analyzing documentation in English. Knowledge of specification languages and formal methods would be appreciated. Previous experience with static code analysis would be a plus.

Desired start date: January to March 2027

References cited in the mission:

[1] https://cybernews.com/news/cloudflare-outage-internet-down/ [2] https://kubernetes.io/docs/concepts/extend-kubernetes/operator/ [3] https://https://dl.acm.org/doi/10.1145/3650212.3680396 An Empirical Study on Kubernetes Operator Bugs [4] https://pkg.go.dev/golang.org/x/tools/go/ssa

The ambition of the Innovation Division is to drive Orange's innovation further and strengthen its technological leadership by leveraging our research capabilities to foster responsible innovation for the benefit of humanity, inform the Group's long-term strategic choices, and influence the global digital ecosystem. The Innovation division brings together 6,000 employees worldwide dedicated to research and innovation, including 740 researchers. Within Orange Innovation, you will join the NECTAR directorate, responsible for contributing to innovations related to the Group's IaaS (Infrastructure as a Service) offerings, while supporting and collaborating with regions and countries. The directorate manages and orchestrates the 3 phases of research, anticipation, and design-deployment, with a focus on technical, economic, and operational optimization.

Desired start date: Jan 01, 2027, 12:00 AM

At Orange, only your skills matter.

Regardless of your age, gender, origin, background, religion, sexual orientation, disability, neurodivergence, or appearance, we actively encourage diversity within our teams, as it is a strength for the collective and a driver of innovation. Orange is an inclusive employer: do not hesitate to inform us of your specific needs.

The ambition of the Innovation Division is to drive Orange's innovation further and strengthen its technological leadership by leveraging our research capabilities to foster responsible innovation for the benefit of humanity, inform the Group's long-term strategic choices, and influence the global digital ecosystem. The Innovation division brings together 6,000 employees worldwide dedicated to research and innovation, including 740 researchers. Within Orange Innovation, you will join the NECTAR directorate, responsible for contributing to innovations related to the Group's IaaS (Infrastructure as a Service) offerings, while supporting and collaborating with regions and countries. The directorate manages and orchestrates the 3 phases of research, anticipation, and design-deployment, with a focus on technical, economic, and operational optimization.