Hybridation de LLMs pour l’ingénierie des exigences
Le développement de systèmes physique ou numériques est un processus complexe mêlant des défis techniques et humains. La première étape consiste à donner corps aux idées en rédigeant des spécifications ou un cahier des charges du système en devenir. Généralement écrits en langage naturel par des analystes fonctionnels (business analysts), ces documents sont des pièces maîtresses qui lient toutes les parties prenantes pendant toute la durée du projet et facilite le partage et la compréhension de ce qu’il faut faire. L’ingénierie des exigences propose diverses techniques (revues, modélisation, formalisation, etc.) pour réguler ce processus et améliorer la qualité (cohérence, complétude, etc.) des exigences produites, dans le but de détecter et corriger les défauts avant même l’implémentation du système.
Dans le domaine de l’ingénierie des exigences, l’arrivée récente des réseaux de neurones à très grands modèles (LLM) a la capacité de « changer la donne » [4]. Nous proposons de soutenir le travail de l’analyste fonctionnel avec un outil qui facilite et fiabilise la rédaction du référentiel d'exigences. L’outil exploitera un agent conversationnel de type transformeur/LLM (tels que ChatGPT ou Lama) combiné à des méthodes rigoureuses d'analyse et de conseil. Il proposera des options de réécriture des exigences dans un format compatible avec les normes INCOSE ou EARS, analysera les résultats produits par le LLM, et fournira un audit de qualité des exigences.
Développement de résonateurs piézoélectriques adaptés à la conversion de puissance
Le CEA-Leti travail à l’amélioration des technologies de conversion d'énergie depuis plus de 10 ans. Notre recherche se concentre sur la conception de convertisseurs plus efficaces et compacts en exploitant les transistors à base de GaN, établissant ainsi de nouvelles normes en termes de commutations ultrarapides et de réduction des pertes d'énergie.
Dans le cadre de cette quête constante d'innovation, nous explorons des voies novatrices, notamment l'intégration de résonateurs mécaniques piézoélectriques. Ces dispositifs émergents, capables de stocker l'énergie sous forme de déformations mécaniques, offrent une perspective prometteuse pour une densité d'énergie accrue, en particulier à des fréquences élevées (>1 MHz). Cependant, la présence de modes de résonance parasites impacte l'efficacité globale du système. Nous avons donc besoin d’une personne ayant des compétences en mécanique, notamment vibratoire pour améliorer ces résonateurs micromécaniques fabriqués en salle blanche.
Vous serez accueilli à Grenoble au sein d’une équipe d'ingénieurs, chercheurs et étudiants (doctorants), dédiée à l’innovation pour l’énergie, qui mixte les compétences de la microélectronique et des systèmes de puissance de deux instituts du CEA, le LETI et le LITEN, au plus près des besoins de l'industrie (http://www.leti-cea.fr/cea-tech/leti/Pages/recherche-appliquee/plateformes/electronique-puissance.aspx).
Si vous êtes un esprit scientifique avide de relever des défis complexes, passionné par la recherche de solutions novatrices et prêt à contribuer à la pointe de la technologie, ce poste/projet représente une opportunité unique. Joignez-vous à notre équipe pour nous aider à repousser les frontières de la conversion d'énergie.
Références : http://scholar.google.fr/citations?hl=fr&user=s3xrrcgAAAAJ&view_op=list_works&sortby=pubdate
Modélisation du bruit de charge dans les qubits de spin
Grace à de forts partenariats entre plusieurs instituts de recherche, Grenoble est pionnière dans le développement de futurs technologies à base de qubits de spin utilisant des procédés de fabrication identiques à ceux utilisés dans l’industrie de la microélectronique silicium. Le spin d’un qubit est souvent manipulé avec des signaux électriques alternatifs (AC) grâce à divers mécanismes de couplage spin-orbite (SOC) qui le couplent à des champs électriques. Cela le rend également sensible aux fluctuations de l'environnement électrique du qubit, ce qui peut entraîner une grande variabilité de qubit à qubit et du bruit de charge. Le bruit de charge dans les dispositifs à qubits de spin provient potentiellement d'événements de chargement/déchargement au sein des matériaux amorphes et défectueux (SiO2, Si3N4…) et des interfaces des dispositifs. L'objectif de ce postdoc est d'améliorer la compréhension du bruit de charge dans les dispositifs à qubits de spin grâce à des simulations à différentes échelles. Ce travail de recherche se fera à l’aide de méthode de type ab initio et également grâce à l’utilisation du code TB_Sim, développé au sein de l’institut CEA-IRIG. Ce dernier est capable de décrire des structures de qubits très réalistes en utilisant des modèles de liaison forte atomique et multi-bandes k.p.
Etalonnage dosimétrique du système de monitorage d'un faisceau de Flashthérapie à ultra haut débit de dose de l’installation IRAMIS
Les faisceaux dit Ultra-flash sont des faisceaux pulsés d’électrons de haute énergie (plus d’une centaine de MeV) dont la durée des impulsions est de l’ordre de la femto-seconde. L’installation IRAMIS (CEA saclay) utilise l’accélération laser pour produire ce type de faisceaux avec ne vue leur application à la radiothérapie. Le LNHB est chargé d’établir la traçabilité dosimétrique de l’installation IRAMIS, pour ce faire il doit étalonner le moniteur de cette installation. Les installations de radiothérapie actuelles sont fondées sur des accélérateurs linéaires médicaux fonctionnant avec des énergies atteignant 18 MeV en mode électron. Le LNHB dispose d’un tel équipement. Il est utilisé pour établir les références nationales en termes de dose absorbée dans l’eau, dans les conditions décrites dans le protocole AIEA TRS 398
L’établissement de la traçabilité dosimétrique implique de choisir les conditions de mesure sur l’installation, de connaitre les caractéristiques du dosimètre utilisées pour le transfert et les éventuelles corrections à appliquer aux mesures compte tenu des différences entre l’installation IRAMIS et celle du LNHB.
Optimisation d’une approche métrologique pour l’identification de radionucléides basée sur le démélange spectral
Le Laboratoire national Henri Becquerel (LNE-LNHB) situé au CEA/Saclay est le laboratoire responsable des références françaises dans le domaine des rayonnements ionisants. Depuis quelques années, il est impliqué dans le développement d’un outil d’analyse automatique des spectres gamma à faible statistique fondé sur la technique du démélange spectral. Cette approche permet notamment de répondre aux contraintes métrologiques telles que la robustesse de la prise de décision et l’estimation non biaisée des comptages associés aux radionucléides identifiés. Pour étendre cette technique à la mesure de terrain et en particulier à la déformation des spectres due aux interactions dans l’environnement d’une source radioactive, un modèle hybride de démélange spectral combinant des méthodes d’apprentissages statistique et automatique est en cours de développement. Cette solution mathématique a pour but l’implémentation d’une estimation conjointe des spectres mesurés et des comptages associés aux radionucléides identifiés. L’étape suivante sera la quantification des incertitudes des grandeurs estimées à partir du modèle hybride. L’objectif est également d’investiguer la technique du démélange spectral dans le cas de la détection des neutrons avec un détecteur NaIL. Le futur candidat contribuera à ces différentes études dans le cadre d’une collaboration avec le Laboratoire d’ingénierie logicielle pour les applications scientifiques (CEA/DRF).
Etude de la performance et du vieillissement de batterie lithium ion operando par mesures multi-instrumentée externes
Le poste proposé ici porte sur le développement et la mise en œuvre de techniques de caractérisation in-situ et operando utilisant des capteurs externes à la cellule. Le candidat sera amené à tester et mettre au point des techniques de mesures externes sur cellules Li-ion afin de mesurer les paramètres critiques. Il participera au choix des capteurs, à l’instrumentation des cellules, à leurs mises en œuvre dans différentes conditions de cyclage et à l’étude de leurs performances et vieillissement. Il participera à l’analyse des données ainsi qu’à l’étude post-mortem des cellules afin d’identifier les mécanismes de dégradation et effectuer la corrélation entre les mesures issues des capteurs et les phénomènes observés. Le présent post-doctorat s’inscrit dans un travail d’équipe composé d’électro-chimistes, de physiciens, de chimistes et d’opticiens. Il se concentrera sur l’instrumentation externe de la cellule et travaillera en étroite collaboration avec une équipe composée de plusieurs ingénieurs, chercheurs, doctorants et postdoctorant. L’objectif de ces travaux est de fournir un ensemble de données fiables sur les mécanismes de dégradation des cellules et leur monitoring afin d’alimenter les travaux qui seront réalisés dans le cadre du projet SENSIGA sur la mise en place de fonctions avancées du Batterie Management System (BMS).
Le poste est à pourvoir au sein du laboratoire d’Analyse Electrochimique et Post-Mortem du LITEN au CEA de Grenoble et se fera en collaboration avec Nicolas Guillet (LITEN/L2SA sur le site de l’INES) pour la partie de capteurs acoustiques.
Développement d'Algorithmes pour la Détection et la Quantification de Biomarqueurs à partir de Voltammogrammes
L'objectif du post-doctorat est de développer une solution algorithmique et logicielle performante permettant la détection et la quantification des biomarqueurs d'intérêt à partir de voltammogrammes. Ces voltammogrammes sont des signaux unidimensionnels issus de capteurs électrochimiques innovants. L'étude sera réalisée en étroite collaboration avec un autre laboratoire du CEA-LIST, le LIST/DIN/SIMRI/LCIM, qui proposera des capteurs électrochimiques dédiés et novateurs, ainsi qu'avec la start-up USENSE, qui développe un dispositif médical permettant la mesure de plusieurs biomarqueurs dans l'urine.
Reconstruction tomographique par rayons X basée sur des méthodes analytiques et Deep-Learning
Le CEA-LIST développe la plateforme logicielle CIVA, référence de la simulation des procédés de contrôle non destructif. Elle propose notamment des outils pour l’inspection radiographique X et tomographique qui permettent, pour un contrôle tomographique donné, de simuler l’ensemble des projections radiographiques (ou sinogramme) en prenant en compte divers phénomènes physiques associés, ainsi que la reconstruction tomographique correspondante.
Le travail proposé s’intègre dans la contribution du laboratoire à un projet européen qui porte sur l’inspection tomographique de containers de transport de marchandise avec des systèmes d’inspection utilisant des sources de haute énergie. Les contraintes spatiales de l’étape d’acquisition des projections (les camions transportant les containers passent dans un portique d’inspection) impliquent une adaptation de la géométrie du système source/détecteur et par conséquent de l’algorithme de reconstruction correspondant. De plus, le système ne peut générer qu’un nombre de projections réduit, ce qui rend le problème mal posé dans le contexte de l’inversion.
Les contributions attendues portent sur deux aspects distincts de la méthodologie de reconstruction à partir des données acquises. D’une part, il s’agit d’adapter les méthodes de reconstruction analytiques à la géométrie d’acquisition spécifique de ce projet, et d’autre part de travailler sur des méthodes permettant de pallier le manque d’information lié au nombre limité de projections radiographiques. Dans cet objectif, des méthodes d’apprentissage supervisé, plus spécifiquement par Deep-Learning, seront utilisées à la fois pour compléter le sinogramme, et pour réduire les artéfacts de reconstruction causées par le faible nombre de projections disponible. Une contrainte d’adéquation aux données et au système d’acquisition sera également introduite afin de générer des projections physiquement cohérentes.
Développement d’un outil de spectrométrie neutron pour la caractérisation de sources neutroniques à base de radionucléides
Depuis quelques années, le LNHB développe un nouveau dispositif de spectrométrie neutron baptisée AQUASPEC et dédié la caractérisation de sources neutrons à base de radionucléide (ex. AmBe, PuBe, Cf-252). Le dispositif est constitué d'un récipient en polyéthylène, équipé d’un canal central dans lequel la source est placée, et de 12 voies de mesures pouvant accueillir des détecteurs (scintillateur plastique (SP) discriminant dopé au 6Li). Lors de la mesure, le récipient est entièrement rempli d’eau afin de garantir la modération des neutrons émis par la source et une sensibilité moindre à l’environnement extérieur. Les détecteurs sont positionnés autour de la source afin de réaliser des mesures à différentes distances de modération. Les comptages obtenus sont traités par un algorithme itératif dédié aux déconvolution des données, sur la base d’un algorithme itératif de type ML-EM ou MAP-EM. Le candidat travaillera sur les problématiques de mesures de spectre neutrons au sein du laboratoire. Il participera à des campagnes de mesures de sources et travaillera sur les aspects de détection des neutrons, de traitements de données notamment la problématique de discrimination neutron gamma, ainsi que les méthodes de déconvolution de données et de reconstruction de spectre. Une attention particulière sera portée sur l’optimisation de la caractérisation des sources, avec l’intégration de l’information liée aux coïncidences neutron gamma spécifiques aux sources de type XBe.
Conception du packaging des modules PV de haute performance
La durée de vie de nouvelles générations de modules photovoltaïques est de 25-30 ans en conditions externes. Le packaging joue un rôle critique pour répondre à ses exigences de fiabilité et de durabilité. Les cellules solaires sont protégées par du verre en face avant et des couches plastiques complexes sont employées comme encapsulant en face avant et arrière, en contact avec la face arrière. Les encapsulants ont de multiples rôles; forment une couche barrière contre l’humidité, oxygène, radiation ultra-violet, assurent l’isolation électrique et la protection mécanique des plaquettes de silicium fragiles tout en gardant une transparence optique élevée. Le procédé de fabrication industriel des modules est la lamination, qui impose des exigences supplémentaires pour la formulation des encapsulants.
L’objectif de ce post-doc est d’établir une corrélation entre les propriétés des matériaux, leur mise en forme et le comportement thermo-mécanique des modules innovants avec des cellules hétérojonctions, back-contact ou silicium/pérovskite tandems. La caractérisation avancée des polymères sera étroitement déployée lors de cette étude utilisant notamment DSC, DMA, adhésion, ATG, WVTR, extraction Soxhlet etc. La corrélation entre les paramètres de la lamination et la tenue mécanique des panneaux constituera un des axes majeurs de recherche. Le choix des encapsulants et de tous les matériaux sera fortement guidé par l’éco-conception pour réduire l’impact environnementale du packaging et augmenter la recyclabilité, et renforcer le ré-emploi des plastiques. Ce post-doc s’inscrit dans une collaboration européenne sur le sujet.