Comparaison de solutions MIP pour des problèmes combinatoires

Description de l'offre

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :Nous proposons un stage au sein du groupe de recherche Sciences et Techniques de l'Information, dans le laboratoire Décision et Optimisation.Au vu des nombreux cas d'application dans Thales de la programmation linéaire aux nombres entiers (mixed-integer programming), tels que le calcul de modes radar optimisés, l'optimisation du trafic aérien, la gestion d'un réseau de satellites… il serait très intéressant de pouvoir comparer rapidement une modélisation sur les différents solveurs disponible (commerciaux et libres), à la fois sur l'optimisation et la génération de solutions alternatives.DESCRIPTIF DES MISSIONS
* La Programmation Linéaire en Nombres Entiers (Mixed-Integer Programming) est une méthode populaire en Recherche Opérationnelle pour la résolution de problèmes d'optimisation combinatoire. Elle est utilisée dans de nombreux domaines chez Thales : calcul de modes radar optimisés, optimisation du trafic aérien, gestion d'un réseau de satellites… De nombreux solveurs, commerciaux ou gratuits, existent pour la résolution de MIPs. Cependant les performances peuvent fortement varier d'un solveur à l'autre et d'un problème à l'autre en raison des différences entre les implémentations. Pouvoir comparer immédiatement les performances de différents solveurs sur le même problème via un langage de haut niveau comme Python, propice au prototypage, permet de tester rapidement différentes modélisations du problème.

* Le stage portera sur l'extension d'interfaces Python pour différents solveurs MIP (CPLEX, SCIP, CBC, MIPCL, …) pour l'optimisation et génération de solutions multiples appliquées à des problèmes combinatoires. La validation se fera sur des benchmarks internes (problèmes générés chez THALES) et sur des benchmarks académiques (MIPLIB, OR-Library).
* L'interface produite à la fin de cette étude permettra à l'avenir de tester rapidement les performances des différents solveurs sur les problèmes, qu'ils viennent d'unités Thales ou d'autres projets.
* Personne à contacter : Yann BRIHECHE

La perspective de rejoindre un Groupe innovant vous motive ? Alors rejoignez-nous en postulant à cette offre. Innovation, passion, ambition : rejoignez Thales et créez le monde de demain, dès aujourd'hui.

Profil recherché

QUI ETES-VOUS ?Vous êtes en dernière année école d'Ingénieur ou Master2 de recherche en informatique / maths appliquées.Formation ou stages en algorithmie et optimisation.Vous possédez les compétences indispensables :
* Autonomie en Python
* Algorithmie
* Fondamentaux en optimisation combinatoire

Vous avez de bonnes connaissances en programmation linéaire en nombres entier (Integer Programming).Vous êtes autonome sur Linux. Vous avez la maitrise des solveurs MIP (CPLEX, SCIP, …)Vous maîtrisez l'anglais et le Français.Stage : 6 mois, janvier 2019}

À propos de Thales

QUI SOMMES-NOUS ?

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 regroupe les activités de Thales Research & Technology (TRT), le centre de recherche du Groupe, et de ThereSIS (THALES European REsearch center for Security & Information Systems) au service des activités mondiales du Groupe. Grâce à une politique de partenariat proactive avec le monde académique et un réseau international d'entreprises innovantes, nos équipes de recherche de TRT développent des technologies de rupture et celles de ThereSIS sont dédiées à la sécurisation des systèmes d'information, à l'ingénierie des systèmes complexes et aux technologies innovantes de la transformation numérique afin d'obtenir rapidement des résultats répondant à des demandes opérationnelles concrètes.