Méthode primale-duale proximale pour l’estimation conjointe de l’objet et des paramètres d’acquisition inconnus en tomographie.

Dans le cadre de l’utilisation durable et sûre de l’énergie nucléaire au service de la transition énergétique décarbonée, le réacteur de recherche Jules Horowitz, en cours de construction sur le site du CEA Cadarache, est un outil-clé pour l’étude du comportement des matériaux sous irradiation. Une ligne d'imagerie tomographique est prévue en accompagnement des dispositifs expérimentaux afin d'obtenir l'image de la dégradation des échantillons en temps réel. Cette ligne présente des caractéristiques extraordinaires de par sa géométrie et la dimension des objets à caractériser. En conséquence, certains paramètres d'acquisition, indispensables pour la bonne reconstruction de l'image, ne sont pas connus avec précision. Ainsi, l'image finale peut se retrouver fortement dégradée.
L'objectif de cette thèse est de proposer des méthodes permettant l'estimation conjointe de l'objet caractérisé ainsi que des paramètres d'acquisition inconnus. Ces méthodes s'appuieront notamment sur les outils de l'optimisation convexe moderne. Cette thèse explorera également des méthodes de machine learning afin d'automatiser et d'optimiser le choix des hyperparamètres du problème.
La thèse sera réalisée en collaboration entre l'Institut de Mathématiques de Marseille (I2M CNRS UMR 7373, Aix-Marseille Université, site Saint Charles) et le laboratoire de Mesures Nucléaires de l’institut IRESNE du CEA (site de Cadarache, Saint Paul les Durance). Le ou la doctorant(e) évoluera dans un environnement de recherche stimulant en lien avec des problématiques stratégiques liées au contrôle non destructif. Il ou elle pourra également valoriser ses travaux de recherche en France comme à l'étranger.

Quel couplage mécanique-thermique pour les transitoire rapides ? Evaluation des apports de la Thermodynamique des Processus Irréversibles

Le Laboratoire d'Analyse de la MIgration des Radioéléments (LAMIR) au sein de l'Institut de REcherche sur les Systèmes Nucléaires (IRESNE) du CEA Cadarache a développé un ensemble de méthodes de mesure pour caractériser le relâchement des produits de fission hors du combustible nucléaire lors d'un transitoire thermique. Pour ces transitoires, il est important de simuler les sollicitations mécaniques associées aux variations de température qui peuvent générer la fracturation des échantillons de combustible testés. Dans cette thèse on s'intéresse à la modélisation de transitoires de puissance accidentels hypothétiques très rapides. L'objectif de la thèse sera de mettre en œuvre une nouvelle modélisation basée sur la thermodynamique des processus irréversibles (TPI).
La première partie de la thèse consistera à conforter l'écriture du couplage thermomécanique en TPI, qui a été proposée dans notre laboratoire (https://www.mdpi.com/2813-4648/3/4/33). Il s'agira là d'une approche essentiellement analytique pour mettre en place les ordres de grandeurs des différents mécanismes mis en jeu. La seconde partie consistera à appliquer ce formalisme à des résultats expérimentaux obtenus lors d'expériences de chauffage rapide avec des faisceaux laser. Une des difficultés de la simulation numérique avec la TPI consiste à calculer simultanément les champs de température et de contrainte , et non plus successivement comme c'est le cas dans les modélisations actuelles. On commencera par une programmation 1D (sous python ou autre)que l'on améliorera au fur et à mesure. La comparaison des résultats obtenus par TPI et par la modélisation actuelle permettra d'identifier les situations où il est nécessaire de prendre en compte les couplages spécifiques à la TPI pour avoir une prédiction de bonne qualité.
Le thésard bénéficiera du soutien d'experts en thermodynamique, en mécanique et en programmation. Ses travaux donneront lieu à des publications scientifiques présentées à des conférences. De part la diversité des domaines concernés, ce sujet de thèse est une bonne ouverture pour un futur professionnel tant dans l'industrie que dans la recherche académique.

Conception d’un circuit intégré de décodage de l’activité cérébrale motrice pour l’utilisation autonome d’une interface cerveau machine de suppléance motrice

Ce travail s’inscrit dans le cadre du développement d’interfaces cerveau-machine dédiées à la restauration de la mobilité pour des patients souffrant de handicaps moteurs chroniques sévères. Les solutions technologiques proposées reposent sur le décodage des signaux cérébraux acquis au niveau du cortex moteur, afin d’extraire les intentions de mouvement (Benabid et al, The Lancet Neurology, 2019 ; Lorach et al, Nature 2023). Ces intentions servent de commandes pour des systèmes de compensation motrice. Notre équipe est pionnière dans ce domaine, ayant développé WIMAGINE, l’un des premiers implants chroniques sans fil, ainsi qu’un décodeur et des effecteurs adaptés aux besoins des patients paraplégiques ou tétraplégiques.
La recherche proposée fait suite à une première thèse dont l’objectif était de concevoir un circuit intégré spécifique, capable de répliquer les performances du décodeur de signaux cérébraux avec une consommation énergétique extrêmement réduite, en utilisant un modèle fixe. Cependant, en raison des changements de stratégie de l’utilisateur ou de l’évolution naturelle de ses structures cérébrales, les performances du modèle de décodage tendent à se dégrader au fil des mois, nécessitant une recalibration régulière. Des premières stratégies de compensation de ces phénomènes ont été identifiées. L’objectif du candidat sera de perfectionner ces stratégies et de proposer une implémentation sous la forme d’un circuit numérique à très basse consommation.
La thèse se déroulera à Grenoble, au sein d’une équipe projet dynamique composée d’experts reconnus dans la conception et la validation clinique des interfaces cerveau-machine. L’équipe se distingue particulièrement dans la conception de circuits intégrés spécifiques et le développement d’algorithmes de décodage de signaux. Ce cadre permettra au doctorant d’évoluer dans un environnement scientifique stimulant et de valoriser ses travaux de recherche, tant en France qu’à l’étranger.

Systèmes de maintenance prédictive basés sur l’acoustique et les ultrasons pour les équipements industriels

Les convertisseurs de puissance sont essentiels dans de nombreuses applications telles que l’industrie, les systèmes photovoltaïques, les véhicules électriques et les centres de données. Leur maintenance conventionnelle est souvent basée sur des calendriers fixes, entraînant un remplacement prématuré des composants et une quantité importante de déchets électroniques.
Ce projet de doctorat vise à développer une nouvelle approche de surveillance non invasive et à faible coût, basée sur les ultrasons, afin d’évaluer l’état de santé et la durée de vie résiduelle (RUL) des convertisseurs de puissance déployés dans divers secteurs industriels.

La recherche se concentrera sur l’identification et la caractérisation des signatures ultrasonores émises par des composants électroniques vieillissants, ainsi que sur le développement de réseaux de neurones guidés par la physique (PINNs) pour modéliser leurs mécanismes de dégradation. Le projet combinera des études expérimentales avec des techniques avancées de traitement du signal et d’intelligence artificielle (compressed sensing), dans le but de détecter les premiers signes de défaillance et de permettre des stratégies de maintenance prédictive exécutées localement (edge deployment).

Les travaux de recherche seront menés dans le cadre d’un réseau doctoral Marie Sklodowska-Curie Actions (MSCA), offrant une formation internationale, une collaboration interdisciplinaire et des périodes de mobilité auprès de partenaires académiques et industriels de premier plan en Europe (Italie et Pays-Bas pour cette offre de doctorat).

Suivi en ligne des procédés de bio-production par imagerie holographique 3D

La culture des cellules adhérentes est un moyen prometteur pour différentes applications en bioproduction, comme la fabrication et l'administration de biomédicaments, la médecine régénérative, ou le suivi de la différenciation cellulaire. Cependant, elle pose des défis majeurs pour l’analyse des cellules sans affecter l’intégrité du substrat. L’imagerie holographique sans lentille se présente comme une solution prometteuse, capable de capturer des images de cellules sur un grand champ de vue sans aucune étape biochimique supplémentaire.
Cette thèse propose de développer un système d’imagerie holographique 3D pour le suivi des cellules adhérentes en temps quasi-réel, avec des algorithmes avancés pour la reconstruction et l’analyse d’images. Le système testé en terme de précision et robustesse sur des cultures biologiques variées. L’utilisation de l’apprentissage profond permettra la segmentation et l'analyse des cellules en temps quasi-réel, facilitant ainsi le suivi des dynamiques cellulaires. Ce projet innovant promet d'optimiser les procédés biologiques en offrant une vision non invasive des échantillons multicellulaires en 3D, avec des applications potentielles comme le suivi d’organes-sur-puce et de systèmes cellulaires complexes.

Cadre formel pour la spécification et la vérification de flots de communication de processus distribués dans le Cloud

Les clouds sont constitués de serveurs interconnectés via internet, sur lesquels on peut implémenter des systèmes faisant usages d’applications et de bases de données déployées sur les serveurs. L’informatique basée sur les clouds gagne considérablement en popularité, y compris pour y déployer des systèmes critiques. De ce fait, disposer d’un cadre formel pour raisonner sur ce type de systèmes devient une nécessité. Une exigence sur un tel cadre est qu’ils permettent de raisonner sur les concepts manipulés dans un cloud, ce qui inclue naturellement la capacité à raisonner sur des systèmes distribués, composés de sous-systèmes déployés sur différentes machines et interagissant par passage de messages pour réaliser des services. Dans ce contexte, la facilité à raisonner sur les flots de communications est un élément central. L'objectif de cette thèse est de définir un cadre formel outillé dédié à la spécification et la vérification de systèmes déployés sur des clouds. Ce cadre capitalisera sur le cadre formel des "interactions". Les interactions sont des modèles dédiés à la spécification des flots de communications entre différents acteurs d'un système. Les travaux de thèse étudieront comment définir des opérateurs de structuration (enrichissement, composition) et de raffinement pour permettre de mettre en œuvre des processus de génie logiciel classique en se basant sur les interactions.

Microscopie de fluctuations pour l’imagerie fonctionnelle d’organoïdes

La microscopie à contraste de phase et la microscopie de fluorescence sont les deux piliers de l’imagerie biologique moderne. Le contraste de phase révèle la morphologie de l’échantillon, tandis que le marquage fluorescent apporte la spécificité au processus d’intérêt. Dans les deux cas l’image est la valeur moyenne du signal mesuré. Dans cette thèse il est proposé de s’intéresser non pas à la valeur moyenne, mais aux fluctuations observées en contraste de phase. Ce nouveau contraste sera appelé imagerie de fluctuations. Les fluctuations proviennent des phénomènes de transport actif et passif caractérisant la machinerie cellulaire, et on peut penser que le niveau de fluctuations est corrélé à l’activité cellulaire. L’objectif de la thèse est de détecter les fluctuations en contraste de phase, de les quantifier et de les relier à l’aide de méthodes d’apprentissage automatique à un processus d’intérêt. L’objet d’étude sera l’activation des lymphocytes qui est un paramètre critique pour la surveillance du rejet chez certains patients atteints de diabète de type 1 ayant subi une greffe d’îlots de Langerhans. L’imagerie de fluctuation permettrait un suivi sans marquage, simplifiant le protocole de surveillance. Le travail attendu est (i) l’optimisation d’un microscope à contraste de phase pour détecter les fluctuations, (ii) l’analyse de séquences d’images pour les quantifier, et (iii) la mise en œuvre de la méthode développée sur divers modèles biologiques dont certains seront des organes de pancréas sur puce. Cette thèse à la frontière entre instrumentation, biophysique et biologie s’adresse à un(e) étudiant(e) avec une formation en optique, physique ou équivalent, avec de bonnes connaissances en traitement d’images et un fort intérêt pour les applications en biologie-santé.

Développement d'hydrogels injectables adhésifs pour le traitement des déchirures rétiniennes

Les déchirures rétiniennes entrainant le décollement de la rétine constituent une affection oculaire grave (20 à 25 cas pour 100 000 habitants en France chaque année), nécessitant une intervention chirurgicale urgente. Les traitements actuels consistent à retirer le vitré, injecter un gaz comme agent de tamponnement, et à sceller les déchirures au laser. Cependant, cette méthode présente des restrictions pour le patient (position allongée prolongée) et peut entrainer des complications (cataractes). Des hydrogels injectables sont étudiés comme alternatives aux agents de tamponnement, mais ils ne possèdent pas de propriétés adhésives pour suturer les déchirures, et un traitement au laser reste nécessaire. Des colles chirurgicales ont également été testées, mais les adhésifs à base de cyanoacrylate sont toxiques, ceux à base de fibrine sont difficiles à utiliser dans l’œil, et les matériaux à base d’acide hyaluronique (HA) actuels manquent de stabilité et d’adhésivité.
Ce projet de thèse vise à développer un hydrogel à base de HA stérile et injectable, doté de fortes propriétés adhésives pour sceller les déchirures rétiniennes. Les propriétés visées pour l’hydrogel incluent la biocompatibilité, l’injectabilité (aiguille 30G), l’adhésivité tissulaire (1,5 à 3,7 N) et une administration rapide (en moins d’une heure). Notre équipe a précédemment mis au point un hydrogel de HA injectable à réticulation dynamique offrant une stabilité à long terme, une biocompatibilité et une transparence optique. Pour lui conférer des propriétés d’adhésion tissulaire, deux stratégies seront testées : (1) l’ajout d’acide tannique adhésif dans la formulation de l’hydrogel ou (2) le greffage de groupes adhésifs sur le squelette de HA. La biocompatibilité de l’hydrogel sera évaluée, ainsi que ses propriétés adhésives pour la réparation de la rétine en employant différents modèles précliniques.
Cet hydrogel innovant pourrait simplifier la chirurgie rétinienne, réduire les complications, et diminuer les coûts. Au-delà de la réparation rétinienne, il pourrait être applicable dans la chirurgie de la cornée et d’autres domaines médicaux.

Implémentation du TFHE sur des systèmes embarqués à architecture RISC-V

Le chiffrement entièrement homomorphe (FHE, Fully Homomorphic Encryption) est une technologie qui permet d’effectuer des calculs directement sur des données chiffrées, ce qui signifie que l’on peut traiter des informations sans jamais connaître leur contenu réel. Par exemple, elle pourrait permettre d’effectuer des recherches en ligne où le serveur ne voit jamais ce que vous cherchez, ou encore des tâches d’inférence en intelligence artificielle sur des données privées qui demeurent entièrement confidentielles. Malgré son potentiel, les implémentations actuelles du FHE restent très coûteuses en calcul et nécessitent une puissance de traitement considérable, reposant généralement sur des processeurs (CPU) ou des cartes graphiques (GPU) haut de gamme, avec une consommation énergétique importante. En particulier, l’opération de bootstrapping représente un goulet d’étranglement majeur qui empêche une adoption à grande échelle. Les implémentations du FHE basées sur CPU peuvent dépasser 20 secondes sur des architectures x86 standards, tandis que les solutions ASIC personnalisées, bien que plus rapides, sont extrêmement coûteuses, dépassant souvent 150 mm² de surface en silicium. Ce projet de doctorat vise à accélérer le schéma TFHE, une variante plus légère et plus efficace du FHE. L’objectif est de concevoir et de prototyper des implémentations innovantes de TFHE sur des systèmes basés sur RISC-V, en visant une réduction significative de la latence du bootstrapping. La recherche explorera les synergies entre les techniques d’accélération matérielle développées pour la cryptographie post-quantique et celles applicables à TFHE, ainsi que des approches d'accélération de type "tightly-coupled" entre les cœurs RISC-V et les accélérateurs dédiés. Enfin, le projet étudiera la possibilité d’intégrer un domaine de calcul entièrement homomorphe directement au sein du jeu d’instructions du processeur.

Exploitation avancée des données de santé par de l'apprentissage collaboratif sécurisé

Depuis quelques années, l’apprentissage profond est utilisé avec succès dans de nombreux domaines et est de plus en plus intégré dans la recherche clinique et le domaine de la santé. La capacité à combiner des sources de données diverses, telles que la génomique et l’imagerie, améliore la prise de décision médicale. L’accès à de grands jeux de données hétérogènes est essentiel pour améliorer la qualité et la précision des modèles. L’apprentissage fédéré est actuellement développé pour répondre à cette exigence, en offrant la possibilité d’entraîner des modèles de manière décentralisée garantissant que les données brutes restent stockées localement du côté client (entité qui génère les données sensibles). Plusieurs frameworks open-source intègrent des protocoles de calcul sécurisé pour l’apprentissage fédéré, mais leur applicabilité au domaine de la santé demeure limitée et soulève des enjeux liés à la souveraineté des données.
Dans ce contexte, un framework français, actuellement développé par le CEA-LIST, introduit une architecture d’apprentissage fédéré edge-to-cloud intégrant un chiffrement de bout en bout, avec notamment le chiffrement homomorphe (Fully Homomorphic Encryption), et une résilience face aux attaques malveillantes. Grâce à ce framework, ce projet vise à fournir des composants modulaires et sécurisés pour l’apprentissage fédéré afin de favoriser l’innovation en IA appliquée au domaine de la santé et notamment à la génomique.

Ce projet se focalisera sur trois axes principaux :
1) Déploiement, surveillance et optimisation de modèles d’apprentissage profond au sein de solutions d’apprentissage fédéré et décentralisé.
2) Intégration de grands modèles dans l’apprentissage collaboratif.
3) Développement de méthodes d’agrégation pour des situations non IID (Independant and Identically Distributed).

Top