Thèse Algèbre et Structures Oligomorphes H/F - 33

Établissement : Université de Bordeaux
École doctorale : Mathématiques et Informatique
Laboratoire de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique
Direction de la thèse : Laurent BIENVENU ORCID 0000000296383362
Début de la thèse : 2026-10-01
Date limite de candidature : 2026-05-04T23:59:59

Nous proposons un sujet de recherche en informatique théorique, axé sur l'étude de structures algébriques (espaces vectoriels, anneaux de polynômes) sur les structures oligomorphes. Ces objets sont des structures infinies dotées de riches propriétés de symétrie, utiles pour la modélisation de problèmes de calcul manipulant des domaines de données infinis. Le développement d'outils algébriques dans ce contexte trouve de nombreuses applications en vérification et soulève des questions intéressantes en théorie des modèles.