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

Thales Avionics, Inc. (AGS); Rungis; On-site; EUR 12,000 - 17,000; Full time

Benefits offered by this job

Gratification conforme au niveau d'éth

Job summary

Thales Avionics, Inc. (AGS) propose un stage de 6 mois dans le domaine de l’Intelligence artificielle et de l’optimisation pour les systèmes de défense aérienne.

Vous travaillerez au sein de l’équipe Algorithmes, Simulations & Performances, et contribuerez à l’amélioration de la planification des engagements des systèmes. Le poste implique l’initiation au langage CLAIRE/ECLAIR/ToOLS, le développement d’heuristiques en Python ou Julia et la comparaison de performances avec le plan d’engagement

Qualifications

• Préparez un BAC+5 en informatique et recherchez un stage de 6 mois.
• Cursus IA axé connaissance, raisonnement et aide à la décision.
• Étude & compréhension de la programmation par contraintes.
• Connaissances en optimisation combinatoire et résolution de problèmes.
• Ouverture d'esprit et créativité pour proposer des solutions innovantes.

Responsibilities

• Se former avec l'équipe au langage CLAIRE et noyaux ajoutés.
• Monter en compétence sur la planification des engagements.
• Identifier et isoler les heuristiques du code source.
• Implémenter les heuristiques en Python ou Julia.
• Comparer résultats avec le plan d'engagement natif.
• Comparer ces heuristiques à d'autres approches du projet.
• Objectif: obtenir un algorithme autonome sans solveur de contraintes.

Skills

Connaissance IA

Optimisation combinatoire

Programmation par contraintes

Rédaction et communication

Créativité

Esprit d'équipe

Education

BAC+5 en informatique

Tools

CLAIRE

ECLAIR

ToOLS

Job description

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.

Missions

• 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 !

Les 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.