Postdoctorant en informatique (H/F)

CNRS; Aubière; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Un laboratoire de recherche près de Clermont-Ferrand recrute un postdoctorant en informatique pour effectuer des recherches sur les algorithmes de programmation linéaire. Le candidat devra posséder un doctorat et des connaissances approfondies en mathématiques et en algorithmique. Une maîtrise parfaite de l'anglais est requise. Le poste est en CDD de 24 mois avec une rémunération à partir de 2991,58 € brut par mois.

Qualifications

• Solides connaissances en démonstrations mathématiques et en analyse d'algorithmes.
• Expérience en recherche opérationnelle indispensable.
• Maîtrise parfaite de l'anglais parlé et écrit exigée.

Responsabilités

• Travaux théoriques et computationnels sur les performances de l'algorithme simplex.
• Contribuer au projet de recherche sur la programmation linéaire.
• Analyser les performances des algorithmes dans des contextes variés.

Connaissances

Connaissances en démonstrations mathématiques

Analyse d'algorithmes

Expériences computationnelles pour le MILP

Recherche opérationnelle

Formation

Doctorat

Description du poste

Portail > Offres > Offre UMR6158-BEABOU-020 - Postdoctorant en informatique (H/F)

Postdoctorant en informatique (H/F)

Cette offre est disponible dans les langues suivantes :

Date Limite Candidature : vendredi 24 octobre 2025 23:59:00 heure de Paris

Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler

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