Thèse en informatique théorique : complexité des circuits arithmétiques H/F
- CDD Doctorant
- 36 mois
- BAC+5
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
CDD Doctorant
Temps de Travail
Complet
Lieu de Travail
73376 LE BOURGET DU LAC
Durée du contrat
36 mois
Date d'Embauche
01/10/2026
Rémuneration
La rémunération est d'un minimum de 2300,00 € mensuel
Postuler Date limite de candidature : mardi 19 mai 2026 23:59
Description du Poste
Sujet De Thèse
L’une des questions porte sur l’étude du problème de l’égalité de deux mots générés par des grammaires formelles. Bien que des algorithmes en temps polynomial et des algorithmes probabilistes parallèles soient connus, l’existence de solutions parallèles déterministes efficaces reste un problème ouvert. La recherche s’appuiera sur un cadre récent qui modélise les mots générés par des grammaires comme des circuits arithmétiques skew spécialisés, établissant ainsi un pont entre la théorie des langages formels et la complexité des circuits arithmétiques. Le ou la doctorant·e commencera par une étude approfondie des travaux existants et des techniques disponibles.
Votre Environnement de Travail
Le ou la 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 du projet ERC Synergy VePaSS dirigé par Mahsa Shirmohammadi (Paris), Vincent Cheval (Oxford), Véronique Cortier (Nancy) et Sébastien Tavenas (Chambéry).
Rémunération et avantages
Rémunération
La rémunération est d'un minimum de 2300,00 € mensuel
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-006 |
|---|---|
| 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.