Thèse en informatique théorique : complexité des circuits arithmétiques h/f

Vos missions en quelques mots 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. Contexte : 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). Profil recherché Contraintes et risques : Niveau d'études minimum requis Niveau Niveau 7 Master/diplômes équivalents Spécialisation Formations générales Langues Français Seuil