STAGE - Algorithme - Extraction d’heuristiques d’un code source en programmation par contraintes - F/H

Lieu : Rungis, France

Construisons ensemble un avenir de confiance

Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4,5 milliards d’euros par an en Recherche & Développement, notamment dans des domaines clés de l’innovation tels que l’IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 85 000 collaborateurs dans 65 pays. ​

Nos engagements, vos avantages

• Notre savoir-faire technologique

• Notre attention portée à l’équilibre des collaborateurs

• Un environnement inclusif et bienveillant

• Un engagement sociétal et environnemental reconnu (Thales Solidarity, indice CAC 40 ESG…)

Votre quotidien

Nous fournissons et soutenons des systèmes pour la gestion et la protection de l'espace aérien. Nous travaillons avec passion dans un cadre architectural moderne, et s'efforce de repousser les limites de la technologie dans nos secteurs clés. Au sud de Paris, notre site est facilement accessible en transport en commun.

Au sein de l’équipe Algorithmes, Simulations & Performances, vous contribuerez à l’amélioration des capacités de planification des engagements des systèmes de défense aérienne. Ces systèmes doivent analyser la situation en temps réel et déterminer rapidement le meilleur moyen d’intercepter les menaces détectées afin d’optimiser la protection de l’espace aérien. S’appuyant sur des techniques d’optimisation combinatoire et de programmation par contraintes, les travaux porteront sur l’évolution et l’analyse d’un modèle déjà intégré dans un système opérationnel.

Vous serez dans un premier temps basé sur le site de Rungis, puis sur le site de Vélizy-Villacoublay.

En nous rejoignant, vous vous verrez confier les missions suivantes :

• Se former, avec le support de l’équipe, au langage CLAIRE et aux deux noyaux ajoutés, et de prendre en main le code source du plan d’engagement en langage CLAIRE/ECLAIR/ToOLS ;
• Monter en compétence sur le domaine de la défense anti-aérienne et plus particulièrement sur la problématique de la planification des engagements ;
• Identifier et isoler les heuristiques utilisées au sein de ce code source ;
• Implémenter ces heuristiques dans un autre langage (Python ou Julia), afin d’avoir des heuristiques autonomes, indépendantes du solveur de contraintes ;
• Comparer les résultats obtenus (solutions et temps de calcul) avec les résultats du plan d’engagement natif ;
• Comparer ces heuristiques isolées à d’autres heuristiques mises en place concurremment sur la problématique du plan d’engagement pour ce projet.

Le but du stage est donc d’obtenir un algorithme en Python ou Julia intégrant les heuristiques du plan d’engagement et fonctionnant de manière autonome sans solveur de contraintes.

Votre profil :

Vous préparez un BAC+5 (école d'ingénieur ou université) en informatique et recherchez un stage de 6 mois ?

Vous avez suivi un cursus ou des enseignements en IA de la connaissance, notamment autour de la représentation des connaissances, du raisonnement ou de l'aide à la décision ?

Vous avez étudié la programmation par contraintes et êtes capable d'en comprendre les principes et les cas d'application ?

Vous possédez des connaissances en optimisation combinatoire et en résolution de problèmes complexes ?

Vous êtes à l'aise avec les approches algorithmiques permettant de modéliser et résoudre des problèmes d'optimisation ?

Vous faites preuve d'ouverture d'esprit et êtes capable d'explorer différentes approches pour résoudre un problème ?

Vous êtes reconnu pour votre créativité et votre capacité à proposer des idées ou des solutions innovantes ?

Vous faites preuve de rigueur dans l'analyse, la formalisation et la réalisation de vos travaux ?

Vous disposez de bonnes capacités de rédaction et de communication, vous permettant d'expliquer clairement des concepts techniques à différents interlocuteurs ?

Alors ce poste est fait pour vous !

Mot de l'équipe :

Si vous êtes motivé, curieux et que vous cherchez une expérience pour mettre en pratique ce que vous avez appris dans un environnement adapté et dans le domaine de l’Air Défense, vous êtes au bon endroit. Il ne vous reste plus qu’à nous rejoindre !

Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.
Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout. Postulez et rejoignez nous !