PostDoc en informatique théorique : complexité algorithmique de problèmes de décision algébriques H/F
Nouveau
- Chercheur en contrat CDD
- 24 mois
- Doctorat
This offer is available in English version
Cette offre est ouverte aux personnes disposant d’un titre leur reconnaissant la qualité de travailleur handicapé ou travailleuse handicapée.
L'offre en un coup d'oeil
L'unité
Laboratoire de mathématiques
Type de Contrat
Chercheur en contrat CDD
Temps de Travail
Complet
Lieu de Travail
73376 LE BOURGET DU LAC
Durée du contrat
24 mois
Date d'Embauche
01/10/2026
Rémuneration
entre 3 040€ et 4 660€ brut par mois
Postuler Date limite de candidature : vendredi 15 mai 2026 23:59
Description du Poste
Les Missions
Le ou la postdoctorant·e explorera la complexité algorithmique des problèmes décisionnels dans des fragments de logique du premier ordre sur divers corps, en mettant l’accent sur la détermination de l’existence de solutions exactes ou approximatives pour des systèmes d’équations et d’inéquations polynomiales. Des applications à la complexité de problèmes pour les jeux stochastiques sont également
attendues.
L'Activité
Le/la post-doctorant·e travaillera sur :
- Des algorithmes pour résoudre des problèmes de calcul symbolique (corps réels, algébriquement clos).
- Le positionnement de ces problèmes dans la théorie de la complexité algorithmique.
- La collaboration avec les équipes du projet pour appliquer ces résultats à la vérification automatique et à la théorie des jeux.
- La rédaction d’articles et la participation à des conférences pour diffuser les résultats.
Votre Profil
Compétences
- Doctorat en mathématiques ou informatique théorique, avec une expertise en complexité, calcul symbolique, ou algèbre computationnelle.
- Connaissances solides en théorie des corps réels/algébriquement clos, complexité booléenne, circuits arithmétiques et/ou algèbre effective.
- Maîtrise de l’anglais (écrit et oral) et capacité à travailler en équipe pluridisciplinaire.
Votre Environnement de Travail
Le ou la post-doctorant·e travaillera dans le laboratoire LAMA à l'Université
Savoie Mont Blanc sur le campus du Bourget du Lac. Il ou elle sera encadré·e localement par Sébastien Tavenas. Ce poste s'inscrit dans le cadre d'un projet ERC Synergy VePaSS dirigé par Mahsa Shirmohammadi (Paris), Vincent Cheval (Oxford), Véronique Cortier (Nancy) et Sébastien Tavenas (Chambéry).
La date de début de contrat est flexible en fonction de vos disponibilités (entre octobre 2026 et janvier 2027, début de contrat le 1er du mois).
Rémunération et avantages
Rémunération
entre 3 040€ et 4 660€ brut par mois
Congés et RTT annuels
44 jours
Pratique et Indemnisation du TT
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
À propos de l’offre
| Référence de l’offre | UMR5127-LAUBAS-007 |
|---|---|
| Section(s) CN / Domaine de recherche | Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations |
À propos du CNRS
Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.
Créer une alerte
Ne manquez aucune opportunité de trouver le poste qui vous correspond. Inscrivez-vous gratuitement et recevez les nouvelles offres directement dans votre boite mail.