Postdoctorant en Informatique H/F - CNRS

La programmation linéaire en nombres entiers mixtes est un ensemble de technologies qui sous-tendent une grande partie de la logistique et de la fabrication modernes. La méthode simplex est l'un des composants algorithmiques clés de tout progiciel MILP. Cet algorithme est connu pour être rapide dans la pratique, mais le cadre de l'analyse du pire cas ne permet pas d'expliquer cette observation. Différents cadres d'analyse ont été proposés pour expliquer les bonnes performances de l'algorithme, chacun ayant ses propres forces et faiblesses.Activités
Le projet de recherche postdoctorale vise à mieux comprendre les performances de cet algorithme dans le contexte de la programmation linéaire (LP) et de la programmation linéaire en nombres entiers (MILP). Dans le cadre du projet ANR JCJC « Vers des théories testables de la programmation linéaire », nous attendons du candidat qu'il effectue à la fois des travaux théoriques et computationnels.
Compétences
- Solides connaissances en démonstrations mathématiques et en analyse d'algorithmes.
- Solides connaissances en expériences computationnelles pour le MILP, en particulier celles impliquant la méthode du simplexe ou le LP à démarrage à chaud dans un contexte de génération de colonnes ou de plans de coupe.
- Expérience en recherche opérationnelle.
Contexte de travail

Le candidat travaillera dans l'axe MAAD au LIMOS sous la direction du Dr Sophie HUIBERTS. Une maîtrise parfaite de l'anglais parlé et écrit est requise. Ce poste est financé par la subvention ANR JCJC « Towards Testable Theories of Linear Programming » (Vers des théories vérifiables de la programmation linéaire).
Le Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) est une unité mixte de recherche de l'Université Clermont Auvergne et du CNRS. Ses activités de recherche s'articulent autour de trois axes : modèles et algorithmes d'aide à la décision (MAAD), systèmes d'information et de communication (SIC) et outils d'aide à la décision pour la production et les services (ODPS).
Le candidat travaillera sur le thème de l'optimisation combinatoire dans l'axe MAAD sous la direction du Dr Sophie HUIBERTS. Une maîtrise parfaite de l'anglais parlé et écrit est requise. Ce poste est financé par la subvention ANR JCJC « Towards Testable Theories of Linear Programming » (Vers des théories testables de la programmation linéaire).
Le candidat travaillera dans l'axe MAAD au LIMOS sous la direction du Dr Sophie HUIBERTS. Une maîtrise parfaite de l'anglais parlé et écrit est requise. Ce poste est financé par la subvention ANR JCJC « Towards Testable Theories of Linear Programming » (Vers des théories vérifiables de la programmation linéaire).
Le Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) est une unité mixte de recherche de l'Université Clermont Auvergne et du CNRS. Ses activités de recherche s'articulent autour de trois axes : modèles et algorithmes d'aide à la décision (MAAD), systèmes d'information et de communication (SIC) et outils d'aide à la décision pour la production et les services (ODPS).
Le candidat travaillera sur le thème de l'optimisation combinatoire dans l'axe MAAD sous la direction du Dr Sophie HUIBERTS. Une maîtrise parfaite de l'anglais parlé et écrit est requise. Ce poste est financé par la subvention ANR JCJC « Towards Testable Theories of Linear Programming » (Vers des théories testables de la programmation linéaire).