Algèbre et structures oligomorphes // Algebra and oligomorphic structures

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

We propose a research subject in the area of theoretical computer science and algebra, focusing on the study of algebra over oligomorphic structures. Here, oligomorphic structures are understood as infinite structures with rich symmetry properties, that find use in modeling computational problems manipulating infinite data domains. Developing algebraic tools in such contexts finds numerous applications in verification, and yields interesting questions in model theory.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Début de la thèse : 01/10/2026

Public funding alone (i.e. government, region, European, international organization research grant)

Concours pour un contrat doctoral

Université de Bordeaux

39 Mathématiques et Informatique

Connaissances solides en théorie des modèles et algèbre
Solid knowledge in model theory and algebra