Les appels à candidature pour les thèses ont lieu chaque année au printemps.

De nouveaux sujets seront bientôt disponibles : restez à l'écoute et visitez cette page régulièrement ! 

Sujet : Analyse stochastique des systèmes blockchain

Encadrement

Denis Villemonais (IRMA, Strasbourg)

Laboratoire et équipe d'accueil

IRMA, Strasbourg - Équipe “PROBA"

Description du sujet

Une blockchain est un registre distribué, maintenu par un réseau pair-à-pair, dans lequel les informations sont ajoutées selon un algorithme de consensus. Trois dimensions caractérisent ces systèmes : l’efficacité (vitesse de traitement), la décentralisation (répartition du pouvoir entre les nœuds) et la sécurité (résistance aux attaques). Le protocole historique, la preuve de travail, repose sur la compétition entre nœuds pour résoudre des problèmes cryptographiques, au prix d’une forte consommation énergétique. Ce projet de thèse s’intéresse à un protocole alternatif : la preuve d’enjeu, employée notamment par la blockchain Ethereum. Celle-ci sélectionne un validateur au hasard, avec une probabilité proportionnelle au volume de cryptomonnaie qu’il détient. Ce nœud ajoute alors un bloc et reçoit une récompense. Bien que le mécanisme semble favoriser les acteurs déjà riches, les études existantes montrent qu’à long terme, la répartition des parts entre les validateurs reste stable en moyenne — un comportement que l’on peut modéliser par une urne de Pólya, c’est-à-dire un processus stochastique avec renforcement. Cependant, les variantes modernes de la preuve d’enjeu (comme Algorand ou Ouroboros) n’ont pas encore de description mathématique unifiée. 

L’objectif est donc de développer un cadre général pour modéliser ces algorithmes, en s’appuyant sur la théorie des processus stochastiques renforcés et sur les urnes de Pólya à plusieurs couleurs — voire à une infinité de couleurs pour représenter les nombreux participants. Il s’agira d’étudier leurs comportements limites et leurs fluctuations afin d’identifier les conditions garantissant une décentralisation équitable. Le travail inclura aussi une extension des résultats actuels de la théorie, afin de mieux prendre en compte la structure hétérogène et dynamique des blockchains (variations temporelles de l’activité ou préférences transactionnelles). Le second axe du projet porte sur l’évaluation de l’efficacité des systèmes blockchain à l’aide de la théorie des files d’attente. Les transactions en attente peuvent être vues comme des clients dans une file, traités par paquets correspondant aux blocs. On modélisera la dynamique d’arrivée et de traitement des transactions afin d’estimer le temps moyen d’attente avant validation, en commençant par des modèles simples à lois exponentielles, puis en les généralisant. Pour mieux coller à la réalité, le modèle intégrera la priorité liée aux frais de transaction et le phénomène d’abandon des transactions peu rémunératrices qui restent trop longtemps en attente. Ces extensions permettront d’obtenir des indicateurs plus précis de performance et de congestion, voire des formules explicites utilisables pour des simulations numériques. Enfin, les modèles seront calibrés empiriquement à partir de données observées sur les blockchains Bitcoin et Ethereum, ajoutant ainsi une dimension statistique au cadre théorique. 

Le projet vise donc deux avancées complémentaires : 
- Une modélisation mathématique rigoureuse des mécanismes de preuve d’enjeu afin d’en évaluer et d’en améliorer la décentralisation. 
- Une analyse quantitative de l’efficacité transactionnelle des blockchains à l’aide des outils de la théorie des files d’attente. 
En combinant approches probabilistes et observation empirique, la thèse contribuera à une meilleure compréhension des blockchains de nouvelle génération, conciliant équité, performance et durabilité énergétique.

Compétences mathématiques requises

Probabilités et processus stochastiques : martingales, processus de Markov, convergence en distribution, théorèmes limites et processus de ramification
Théorie des files d'attente (modèles M/M/1, loi de Little, files d'attente avec abandon/priorité)
Langage de programmation scientifique (Python, R, Julia, Rust, C ou C++)
Méthodes statistiques pour les processus stochastiques (estimation, calibrage basé sur les données, ajustement de distribution) 

Sujet : Conditions de Bohr-Sommerfeld dans le cas foyer-foyer multiple

Encadrement

Yohann Le Floch (IRMA, Strasbourg)

Laboratoire et équipe d'accueil

IRMA, Strasbourg - Équipe ANA

Description du sujet

Le sujet proposé se situe à l’interface entre la théorie des systèmes intégrables à la Liouville et l’analyse semiclassique de la quantification géométrique. Le but est de décrire le spectre conjoint de certaines paires d’opérateurs agissant sur des espaces de sections holomorphes d’une grande puissance d’un certain fibré en droites complexes et quantifiant un système intégrable à deux degrés de liberté dont l’application moment a une valeur singulière de type foyer-foyer dont le niveau possède plusieurs points singuliers. Cette description permettrait d’étudier des questions de théorie spectrale inverse pour les opérateurs en question. Plus précisément, sur une variété kählérienne compacte quantifiable de dimension réelle quatre, on se donne deux opérateurs de Berezin-Toeplitz qui commutent et dont le symbole principal conjoint est l’application moment d’un système intégrable. On suppose qu’on a une valeur singulière de l'application moment de type foyer-foyer dont le niveau est connexe et comporte plusieurs points singuliers. Le but est de décrire le spectre conjoint des opérateurs localement près de cette valeur singulière dans la limite semiclassique. Le cas des opérateurs pseudodifférentiels semiclassiques, avec un seul point singulier sur le niveau critique, a été traité au début des années 2000; le cas de multiples points singuliers n’a jamais été exploré, tout comme l’adaptation au contexte des opérateurs de Berezin-Toeplitz du cas d’un point singulier, qui constituerait une première étape intéressante. Le cas avec plusieurs singularités devrait mettre en jeu les invariants symplectiques semi-locaux obtenus récemment par Pelayo et Tang. Il sera possible et intéressant de s’appuyer sur les quantifications d’exemples obtenus ces dernières années et pour certains desquels les invariants en question ont été calculés. Par la suite, les résultats obtenus pourraient s’appliquer au problème spectral inverse pour les opérateurs de Berezin-Toeplitz ; une question naturelle est de comprendre si la connaissance du spectre conjoint semiclassique de deux tels opérateurs (qui commutent), dans le cas où le symbole principal conjoint est l’application moment d’un système intégrable semi-torique, détermine celui-ci à isomorphisme près. Une réponse positive a été donnée récemment par Le Floch et Vũ Ngọc dans le cas où tous les niveaux foyer-foyer n’ont qu’une seule singularité, mais l’absence de description du spectre au voisinage des valeurs foyer-foyer nécessitait le recours à une double limite (d’abord sur le paramètre semi-classique, puis quand une valeur régulière s’approche d’une valeur foyer-foyer). Une première application des résultats de la thèse serait d’obtenir une preuve plus directe sans recours à cette double limite. Une seconde application serait de déterminer si un tel résultat inverse pourrait être obtenu ou non dans le cas où les niveaux foyer-foyer peuvent posséder plusieurs points singuliers.

Compétences mathématiques requises

Géométrie différentielle avancée (fibrés, géométrie symplectique et
kählérienne, etc.) 

Bases d'analyse semiclassique

Sujet : Maillages hexaédriques basés sur l’axe médian

Encadrement

Dominique Bechmann (ICube, Strasbourg)

Laboratoire et équipe d'accueil

ICube, Strasbourg - Équipe IGG

Description du sujet

La construction d'un maillage volumique pour un domaine géométrique donné est un problème complexe et abordé depuis de nombreuses années. La génération de maillages purement hexaédriques pour des domaines de forme quelconque est encore un problème ouvert. De tels maillages seraient très utiles dans le cadre de simulation numérique comme les fluides. Dans le cadre de la thèse de Paul Viville (2022), nous avons développé une chaîne de traitement pour la génération de maillages hexaédriques pour des domaines dont la forme peut être représentée par leur squelette. Le squelette utilisé est un graphe composé soit exclusivement de segments (1D), soit composé à la fois de segments (1D) et de quads (2D). Ce dernier a été dessiné « à la main » dans la plupart des exemples traités. Des cas particuliers avec certaines situations géométriques sur les squelettes (1D-2D) posant des difficultés ont été laissés de côté afin de se concentrer sur le processus général de génération de maillage volumique. Dans le cadre de la thèse de Qijia Huang (2026), nous avons conçu une méthode d’approximation discrète de l’axe médian d’une forme 3D, défini comme l’ensemble des centres des sphères maximales inscrites dans l’objet. Cette représentation fournit une représentation compacte de la géométrie du domaine. À partir d’un maillage surfacique, d’un nuage de points ou d’une fonction de distance signée, notre méthode variationnelle repose sur une construction incrémentale qui permet d’obtenir des squelettes à plusieurs échelles, allant d’une approximation grossière jusqu’à une description fine et régulière. Une évaluation expérimentale met en évidence la précision de la méthode, sa robustesse au bruit et la possibilité d’un contrôle interactif de la distribution des sphères. Les squelettes obtenus sont composés de segments (1D) et de triangle (2D). 

Dans le cadre du travail proposé dans cette thèse, nous visons un algorithme efficace et automatique de construction d’un maillage volumique hexaédrique qui, à partir d’un domaine défini par un maillage surfacique, un nuage de points ou une fonction de distance signée, s’appuie sur l’approximation de son axe médian [4-HKTB24] pour obtenir un squelette qui serve de support à la génération du maillage [2-VKB23]. L’exploitation de méthodes d’apprentissage permettant d’obtenir conjointement une fonction de distance signée du bord du domaine, une fonction d’épaisseur et une fonction de distance non-signée de l’axe médian est une piste à explorer pour contrôler l’échantillonnage du maillage volumique construit. De nombreux problèmes sont à résoudre pour obtenir une solution complète et intégrée. 

I. Notre algorithme de génération de maillages hexaédriques est basé sur un principe de décomposition du domaine en blocs liés aux éléments du squelette. La construction de cette décomposition pour les embranchements a nécessité l’élaboration d’une méthode de partition de la surface d’une sphère en quadrilatères. Notre algorithme de partition de sphère a été testé avec succès sur de nombreuses configurations générées aléatoirement, mais cela n’exclut pas l’existence de cas limites. Une démonstration mathématique rigoureuse de la robustesse de l’algorithme pourrait s’avérer utile pour pérenniser cette méthode. 

II. Notre méthode d’approximation de l’axe médian produit des squelettes composés de segments (1D) et de triangles (2D). Un remaillage de ce squelette discret sera à mettre en œuvre pour le rendre compatible et maîtriser le processus de génération de mailles volumiques. De plus, la gestion des cas particuliers que nous avons identifiés est à étudier avec rigueur. 

III. Une attention particulière devra être portée à la préservation des propriétés topologiques des maillages, nécessaire si l’on souhaite conserver les optimisations spécialisées pour la simulation. Dans ce contexte, des méthodes de subdivision et d’adaptation de l’échantillonnage des maillages seront à explorer. 

IV. Une caractérisation des domaines géométriques pouvant être représentés par squelettes (1D-2D), puis maillés par notre algorithme, est également à prévoir pour maîtriser le domaine de validité de la méthodologie. 

V. Enfin, la validation des résultats par l’application de codes de simulation sur les maillages produits par des experts permettrait une validation pratique des travaux et permettrait de découvrir de nouvelles problématiques à résoudre. Les développements logiciels devront être intégrés dans la plateforme de modélisation géométrique de l’équipe IGG d’ICube. 

Références :
[4-HKTB24] Q. Huang, P. Kraemer, S. Thery, D. Bechmann, Dynamic Skeletonization via Variational Medial Axis Sampling, Full paper at ACM SIGGRAPH ASIA 2024, Tokyo, Japan, décem-bre 2024.
[2-VKB23] P. Viville, P. Kraemer, D. Bechmann, Meso-Skeleton Guided Hexahedral Mesh Design, Full paper at Pacific Graphics 2023, Computer Graphics Forum, Volume 42, Number 7.

Compétences mathématiques requises

Le ou la candidat.e est diplômé.e d'un master informatique avec des compétences dans le domaine de l’informatique graphique et plus précisément de la modélisation géométrique. 

Il ou elle possède les compétences lui permettant de traiter une problématique scientifique et de développer une application 3D (programmation C++ et graphique). 

Des compétences mathématiques en géométrie seraient également un atout majeur pour ce travail.

Sujet : Modèles fluides actifs pour la dynamique cellulaire : modélisation et analyse

Encadrement

Laurent Navoret et Benjamin Mélinand (IRMA, Strasbourg)

Laboratoire et équipe d'accueil

IRMA, Strasbourg - Équipes MOCO et Analyse

Description du sujet

Au cours de l'embryogenèse et des processus de cicatrisation, les tissus cellulaires sont le théâtre de mouvements cellulaires à grande échelle. L'identification des principes biologiques ou physiques clés qui sous-tendent ces mouvements fait actuellement l'objet de nombreuses recherches fondamentales. La thèse de doctorat se concentrera en particulier sur l'impact sur les limites. Par exemple, il a été démontré que les câbles actifs environnants jouent un rôle clé dans le développement des mouvements, dans lesquels les limites sont des câbles d'actine actifs. Comme le nombre de cellules impliquées peut être de l'ordre de centaines ou de milliers, des modèles de type fluide ont été envisagés. Ils décrivent l'évolution dans le temps de la densité macroscopique et de la vitesse moyenne, et leur analyse peut fournir des critères concrets pour l'émergence d'un mouvement collectif. Les principales étapes du doctorat seront les suivantes : modélisation (conditions aux limites appropriées), analyse du modèle (stabilité et propriété d'existence globale autour des solutions stationnaires) et simulations numériques.

Compétences mathématiques requises

Le doctorant doit posséder des connaissances approfondies en analyse fonctionnelle et en équations aux dérivées partielles. 

Il ou elle doit également être passionné(e) par la modélisation et les simulations numériques.

Les sujets de thèse ci-dessus ont été proposés par des membres de l'ITI IRMIA++, pour des contrats doctoraux débutant en septembre-octobre 2026.

Pour candidater, veuillez cliquer sur le bouton ci-dessous pour accéder au formulaire de candidature et sélectionner Appel à projets  Contrats doctoraux / Candidat:

Formulaire de candidature

Vous devrez fournir les informations et documents suivants :

  • le sujet de thèse choisi (Attention : les candidatures ne précisant pas le sujet choisi ne seront pas examinées)
  • votre CV
  • une lettre de motivation
  • vos relevés de notes de master
  • vos lettres de recommandation.

Les références peuvent déposer elles-mêmes leur lettre de recommandation. Pour ce faire, veuillez cliquer sur le bouton ci-dessus pour accéder au formulaire de candidature et sélectionner le profil Contrats doctoraux / Soutien externe d'un candidat.

Date limite de réception des candidatures : 17 Avril 2026


Si vous souhaitez débuter une thèse sur un sujet n'apparaissant pas dans cette liste, veuillez contacter directement les chercheurs et chefs d'équipe concernés.

Si vous démarrez une thèse dans une équipe de l'ITI IRMIA++, nous pouvons vous proposer une aide financière pour votre installation !
Plus d'informations sur la page dédiée.