Postdoctorant en informatique (h/f)

Informations générales

Intitulé de l'offre : Postdoctorant en informatique (H/F)
Référence : UMR6158-BEABOU-020
Nombre de Postes : 1
Lieu de travail : AUBIERE
Date de publication : vendredi 3 octobre 2025
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 24 mois
Date d'embauche prévue : 17 novembre 2025
Quotité de travail : Complet
Rémunération : à partir de 2991.58 euros brut / mois selon expérience
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 06 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

Missions

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