STAGE : «Métaheuristique LNS pour le solveur de contraintes Cobra (H/F) » - basé(e) à Palaiseau

Description de l'offre

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :
Description du contexte : Le problème d'allocation de ressources qui se traduit par un problème d'ordonnancement de tâches se pose dans de nombreux domaines d'application de Thales. Citons par exemple le calcul du plan d'engagement pour un système d'armes et le séquencement des vols dans le domaine du trafic aérien pour augmenter la capacité aéroportuaire. Il existe de nombreuses techniques pour résoudre ce type de problèmes de façon exacte ou approchée. Parmi les méthodes constructives nous nous intéressons plus particulièrement à la programmation par contraintes (PPC) avec ses contraintes globales dédiées à l'ordonnancement qui permettent une propagation efficace. Lorsque le problème devient trop grand, l'énumération exhaustive n'est plus possible et nous avons alors recours à des méthodes approchées. Parmi celles-ci, la recherche locale à grand voisinage (LNS) a montré de très bons résultats sur des benchmarks académiques. A partir d'une première solution, un algorithme de recherche locale va tenter de l'améliorer par échantillonnages successifs dans son voisinage. Il existe une littérature abondante sur le sujet qui servira de point de départ des travaux. Cette métaheuristique viendra compléter le catalogue des procédures de recherche du solveur de contraintes Cobra en cours de développement à TRT. Le nouvel algorithme sera mis en œuvre dans le domaine du trafic aérien sur le problème de séquencement des vols afin de comparer sa performance par rapport à des solutions existantes.
En nous rejoignant, vous vous verrez confier les missions suivantes : L'objectif du stage est l'implémentation en Python d'une procédure de recherche locale à grand voisinage à partir de l'état de l'art pour le solveur de contraintes Cobra en cours de développement à TRT. La validation se fera sur des problèmes d'atelier (jobshop), des problèmes d'ordonnancement cumulatif de référence (benchmarks) et sur une instance issue du problème de séquencement des vols dans le domaine du trafic aérien. La perspective de rejoindre un Groupe innovant vous motive ? Alors rejoignez-nous en postulant à cette offre. Vous souhaitez en savoir plus sur les activités de Thales ? Cliquez ici.

Profil recherché

QUI SOMMES-NOUS ? Rejoignez Thales, leader mondial des technologies de sûreté et de sécurité pour les marchés de l'Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 62 000 collaborateurs dans 56 pays, le Groupe bénéficie d'une implantation internationale qui lui permet d'agir au plus près de ses clients, partout dans le monde. Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, le site de Palaiseau est le centre de recherche du Groupe.
Grâce aux nombreux partenariats avec le monde académique et un réseau international d'entreprises innovantes, nos équipes de recherche développent des technologies de rupture au service des unités opérationnelles du Groupe.

Le Groupe de Recherche Sciences et Techniques de l'Information, recherche un/une stagiaire «Métaheuristique LNS pour le solveur de contraintes Cobra (H/F) » - basé(e) à Palaiseau

QUI ETES-VOUS ? Vous êtes en 3ème année école ingénieur ou en Master 2 Compétences indispensables : Programmation avancée en Python, Fondamentaux en Recherche Opérationnelle. Compétences complémentaires : programmation par contraintes Langage : français/anglais Stage : 3 à 6 mois A pourvoir : dès à présent}

À propos de Thales S.A.

Thales est un leader mondial des hautes technologies pour les marchés de l'Aérospatial, du Transport, de la Défense et de la Sécurité. Fort de 61 000 collaborateurs dans 56 pays, Thales bénéficie d'une implantation internationale exceptionnelle qui lui permet d'agir au plus près de ses clients, partout dans le monde.