Informations générales
Intitulé de l'offre : Postdoctoral researcher in computer science (M/F) (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 : Starting at €2,991.58 gross per month, depending on experience
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
Mixed Integer Linear Programming is a set of technologies underpinning much of modern logistics and manufacturing. The simplex method is one of the key algorithmic components of any MILP software package. This algorithm is known to be fast in practice, but the framework of worst-case analysis is unable to explain this observation. Different analysis frameworks have been proposed to explain the good performance of the algorithm, each with their own strengths and weaknesses.
Activités
The postdoc research project is to better understand the performance of this algorithm in the context of LP and MILP. Part of the ANR JCJC project Towards Testable Theories of Linear Programming, we expect the candidate to perform both theoretical and computational work.
Compétences
- A strong background in mathematical proofs and analysis of algorithms.
- A strong background in computational experiments for MILP, especially those involving the simplex method or warm-starting LP in a column generation or cutting plane context.
- Experience in operations research.
Contexte de travail
The candidate will be working in the MAAD axis at LIMOS under the direction of Dr. Sophie HUIBERTS. Full proficiency in spoken and written English will be expected. This position is funded by the ANR JCJC grant Towards Testable Theories of Linear Programming.
Laboratory of Informatics, Modelling and Optimization of the Systems (LIMOS) is a mixed research unit of Université Clermont Auvergne and CNRS. Its research activities are spread among three axes: models and algorithms to support decision making (MAAD), information and communication systems (SIC) and decision support tools for production and services (ODPS).
The candidate will be working in the Combinatorial Optimization theme in the MAAD axis under the direction of Dr. Sophie HUIBERTS. Full proficiency in spoken and written English will be expected. This position is funded by the ANR JCJC grant Towards Testable Theories of Linear Programming.
Contraintes et risques
X
Informations complémentaires
The candidate will be working in the MAAD axis at LIMOS under the direction of Dr. Sophie HUIBERTS. Full proficiency in spoken and written English will be expected. This position is funded by the ANR JCJC grant Towards Testable Theories of Linear Programming.