Stage - Vérification Formelle de Logiciels Assistée par l'IA H/F Orange
- Châtillon - 92
- Stage
- 6 mois
- Bac +5
- Industrie high-tech • Telecom
Détail du poste
Date de publication : Oct 08, 2026, 11:53AM
Durée du contrat : 6 mois
La vérification formelle de logiciels reste un domaine clé pour s'assurer que des propriétés critiques, notamment de sécurité telles que l'isolation mémoire, soient présentes lors de l'utilisation de services sensibles. Ce travail de vérification reste amplement manuel malgré l'utilisation d'assistants de preuve, avec toutefois des initiatives récentes pour alléger le travail d'un expert grâce à l'IA. Ce stage de Recherche vise à évaluer le potentiel de l'IA pour l'utilisation d'assistants de preuve tels que LEAN et Rocq (privilégié) et cherchera à proposer un workflow avec mise en oeuvre expérimental, par exemple sous la forme d'un pipeline agentique, pour automatiser tout ou partie du travail de preuves, que ce soit la progression d'une preuve existante ou l'initiation d'une nouvelle preuve. Des travaux existants et des approches décrites dans la littérature pourront être reproduits et évalués.
Étudiant(e) en dernière année d'études (niveau Bac +5), recherchant un stage de six mois et disposant de connaissances en vérification formelle, logique ou démonstration de preuves mathématiques et logicielles.
Un intérêt ou une première expérience dans les domaines suivants serait particulièrement apprécié :
- Les méthodes formelles et la vérification de propriétés logicielles;
- Les assistants de preuve et les environnements de démonstration formelle, notamment Rocq (anciennement Coq), Lean ou Isabelle/HOL ;
- La logique mathématique, les preuves formelles et le raisonnement informatique ;
- Le développement logiciel et la programmation ;
- Intéressé(e) par l'intelligence artificielle générative et l'utilisation des grands modèles de langage (LLM) pour assister la production ou la vérification de preuves ;
- La recherche scientifique, l'expérimentation et l'exploration de nouvelles approches technologiques.
Nous recherchons un(e) candidat(e) curieux(se), rigoureux(se) et motivé(e) par la recherche, souhaitant étudier le potentiel de l'IA pour faciliter et accélérer les activités de vérification formelle des logiciels.
L'équipe DPI (Data, Privacy and Innovation) du département SCARE (Secure Cloud through AI based Research & Enforcement) d'Orange Innovation est présente à Caen, Rennes et Chatillon. Elle développe un haut niveau d'expertise autour des thématiques de cybersécurité, de sécurisation de la virtualisation, de cryptographie et de protection des données personnelles.
Date de début souhaitée : Jan 18, 2027, 12:00AM
Chez Orange, seules vos compétences comptent.
Quel que soit votre âge, genre, origine, parcours, religion, orientation sexuelle, handicap, neuroatypie, ou apparence, nous encourageons activement la diversité au sein de nos équipes, car elle constitue une force pour le collectif et un vecteur d'innovation.
Orange est une entreprise handi-accueillante : n'hésitez pas à nous faire part de vos besoins spécifiques.
Les avantages
- Mutuelle et prévoyance collective
- Un smartphone professionnel pour tous
- Remise de 30% sur les abonnements perso internet et mobile Orange
- Avec le CSE, pack culture, CESU, chèques-vacances, billetterie
- Orange participe financièrement aux trajets domicile-travail
- Jusqu'à 20 jours de RTT selon le régime de travail
- Compte Epargne Temps
- Plan d'Epargne Entreprise et Plan d'Epargne Retraite Collectif
- Programme de sponsoring interne pour soutenir vos projets passion
- Droit à la déconnexion numérique en dehors des heures de travail
Les étapes de recrutement
Les étapes de recrutement peuvent varier selon l'offre à laquelle vous postulez.
-
Proposition d’entretien ou réponse négative dans les 15 jours après votre candidature
-
Entretien en visio ou présentiel avec le/la consultant(e) en recrutement sous 15 jours
-
Rencontre en visio ou présentiel avec le/la manager
-
Votre candidature est retenue, félicitations ! Vous recevez votre proposition d'embauche
-
Bienvenue chez Orange :) votre programme d’intégration démarre
-
En cas de réponse négative, nous restons à votre disposition pour un debrief
-
Orange en images
La carte
46 Avenue de la République
92320 Châtillon
Publiée le 16/10/2026 - Réf : CTS-2026-54625
