Conception moléculaire pour la synthèse de Verre Organique Scintillant
Les scintillateurs organiques ont de nombreuses applications cruciales dans les domaines de la sécurité, de la médecine nucléaire et de la physique des hautes énergies. Ces dernières années, les verres organiques scintillant(OGS) ont montré des performances accrues par rapport aux scintillateurs plastiques traditionnels ou aux monocristaux organiques. L'objectif de ce projet est de synthétiser et de caractériser une nouvelle classe de molécules pouvant former un solide amorphe. La phase amorphe (verre organique) sera favorisée par une conception moléculaire innovante qui se concentrera sur des molécules ramifiées ayant un haut degré de mobilité ou un grand nombre de conformères stables pour rendre la cristallisation difficile. Nous envisageons également d'utiliser des fluorophores portant des groupements très volumineux pour limiter les interactions de p-p, empêchant ainsi l'empilement régulier et favorisant la phase amorphe. Ces molécules contiendront des unités aromatiques tels que le benzène, le biphényle, le diphényl oxazole et le naphtalène, nécessaires au processus de scintillation. Dans ce projet, nous visons à développer deux familles différentes de potentiels OGS :
Fluorophores connectés par des liens alkyl, ou oxyde d'éthylène, de différentes longueurs : Un défi majeur résidera dans l'établissement de voies de synthèse efficaces et évolutives adaptées à la production à l'échelle du gramme. L'approche proposée inclut des réactions de couplage croisé, des étapes d'hydrogénation sélective et d'autres techniques organométalliques établies.
Fluorophores à simple benzène (SBFs) : Les SBFs représentent une classe de composés émergents prometteurs pour le développement des OGS. Leur petite taille, leurs structures facilement ajustables et leur potentiel d'assemblage covalent en font des blocs de construction attrayants. Une partie de ce projet sera dédiée à la conception d'architectures moléculaires incorporant ces fluorophores et favorisant la formation de p
Explications Formelles d'Intelligence Artificielle
Læ candidat·e prendra part au développement de l’analyseur formel PyRAT, développé au sein du laboratoire. Cet analyseur à l’état de l’art de la vérification formelle de réseaux de neurones est le siège d’autant de thématiques de recherches que d’applications industrielles pour le laboratoire. À ce titre, læ candidat·e évoluera à la frontière entre les mondes de la recherche scientifique et du développement logiciel industriel. Les missions de læ candidat·e sont les suivantes :
· Étude active et restitution de l’état de l’art de la vérification formelle de logicielle, en particulier celle portant sur les programmes d’Intelligence Artificielle, et les explications de programmes d’Intelligence Artificielle.
· Participation aux discussions et décisions scientifiques et techniques sur les améliorations à apporter dans l’analyseur PyRAT. Implémentation de ces améliorations.
· Développement du lien entre la thématique de vérification formelle et celle d’explicabilité formelle. Application et amélioration de PyRAT pour l’explicabilité formelle.
· Participation aux divers projets académiques, européens ou industriels autour de PyRAT et de l’explicabilité formelle et application aux cas d’usages étudiés.
· Rédaction de rapports techniques et/ou de publications scientifiques portant sur l’analyseur formel PyRAT.
· Support au développement de l’analyseur formel PyRAT, notamment par la rédaction de documentation, tutoriels, organisation de sessions de développement communes, relecture de contributions extérieures.
· Participation à des congrès (nationaux et internationaux) pour disséminer les travaux sur l’analyseur PyRAT et l’explicabilité formelle.
Criblage haut-débit de matériaux semi-conducteurs par PVD
Les pérovskites d'halogénure de plomb constituent une classe de matériaux semiconducteurs émergente qui démontre d’un fort potentiel applicatif pour le photovoltaïque. Malgré leurs performances prometteuses, les craintes liées au rejet de plomb toxique dans l'environnement restent un frein majeur au développement à grande échelle de cette technologie.
Ce projet de 24 mois vise à optimiser le procédé de croissance de couches minces de doubles pérovskites sans plomb par PVD (Physical Vapor Deposition) pour une application en photovoltaïque. Une approche à haut-débit sera mise en place pour cette étude, à la fois au niveau du procédé de croissance que de la caractérisation des couches.
Recyclage batteries domestiques lithium ion : Développement et compréhension d’un nouveau concept de désactivation
Les batteries lithium ion dites “domestiques” regroupent les batteries des ordinateurs portables, téléphone mobile, outillage portatifs, etc.
Le recyclage d’objets portatifs est actuellement réalisé par pyrométallurgie pour plus de 90% des batteries Li-ion.. Ce type de traitement ne répond plus aux enjeux actuels (environnementaux, stratégiques, législatif et sociétaux), mais reste très efficace pour mettre en sécurité les batteries domestiques par explosion dans un four. Il est aujourd’hui nécessaire et primordial de développer des nouveaux concepts de désactivation pour ce type de batteries
La désactivation est la 1ere étape du procédé de recyclage et vise à enlever toute énergie résiduelle de la batterie. Ce procédé doit être continu, sécuritaire, simple, controlable et pas cher.
Nous proposons d’étudier un nouveau concept de deactivation électrochimique (brevet en cours de redaction). L’objectif est de developer et comprendre les mécanismes électrochimiques mis en jeu dans ce nouveau concept de désactivation.
Outils et méthodes de diagnostic pour la réutilisation des composants électroniques
Le Laboratoire Autonomie et Intégration de Capteurs (LAIC) du CEA-Leti a pour mission principale le développement de systèmes de capteurs pour la digitalisation des systèmes. Les activités de l’équipe sont à l’interface du hardware (électronique, optronique, semi-conducteurs), du software (intelligence artificielle, traitement du signal) et du système (architecture électronique, mécatronique, modélisations multiphysiques).
Dans un contexte de croissance exponentielle de l'électronique et de raréfaction des ressources, la réutilisation de composants électroniques issus de systèmes en fin de vie représente une voie prometteuse pour limiter l'impact environnemental et soutenir le développement d'une économie circulaire. L'objectif de ce projet est de développer une méthodologie de diagnostic avancé permettant d'évaluer l'état de santé de composants électroniques, notamment de puissance, afin de les réintégrer dans un cycle de seconde vie moins contraignant.
Le ou la post-doctorant(e) aura pour mission de développer une approche complète pour évaluer le potentiel de réutilisation de composants électroniques, en vue de les réintroduire dans des cycles de seconde vie. Cela comprendra :
- L’identification d’indicateurs de santé pertinents pour suivre l’évolution des performances de composants (ex. : MOSFET, IGBT, condensateurs, etc.) ;
- La mise en place de bancs de test et de capteurs adaptés à la mesure de paramètres électriques, thermiques ou mécaniques, dans le but de détecter les signes de vieillissement ;
- L’analyse des modes de dégradation à travers des essais expérimentaux et des modèles de défaillance ;
- Le développement d’algorithmes de prédiction de la durée de vie résiduelle (Remaining Useful Life – RUL), adaptés à différents scénarios d’usage ;
- La contribution aux publications scientifiques, à la valorisation des résultats, et à la collaboration avec les partenaires du projet.
Analyse des Effluents Gazeux pour des Procédés de Gravure Plasma plus Éco-Responsables
Les gaz fluorés traditionnellement employés, comme le CF4 et le C4F8, ont des potentiels de réchauffement (GWP) extrêmement élevés et une longue durée de vie atmosphérique, participant au changement climatique. L’utilisation de gaz alternatifs à faible GWP, combinée à des systèmes d’abattements des effluents en sortie de réacteur, devrait permettre de concilier performances des procédés de gravure plasma et responsabilité écologique. Dans ce contexte, vous aurez en charge d’analyser et de caractériser par spectrométrie de masse les gaz présents dans un plasma de gravure industriel, et de les comparer à ceux présents à la sortie des pompes du réacteur et du système d’abattement. Les principaux objectifs sont de déterminer le taux de destruction des gaz fluorocarbonés à fort GWP utilisés dans les procédés de gravure au niveau du plasma et des systèmes de pompage et d’abattement ains que de proposer des solutions alternatives et innovantes pour minimiser le rejet des effluents gazeux à fort GWP.
Développement d'une architecture d'instrumentation innovante utilisant un réseau de capteurs magnéto-résistifs pour créer un système de tomographie rapide pour les piles à combustible
Développement d'une architecture d'instrumentation innovante utilisant un réseau de capteurs magnéto résistifs pour créer un système de tomographie rapide pour les piles à combustible.
L'objectif est de développer un démonstrateur TRL 4 en laboratoire pour prouver le concept sur une pile à combustible à basse température. Cela inclura quatre cartes de mesure avec plusieurs dizaines de capteurs magnétiques synchronisés pour des acquisitions simultanées. Les résultats expérimentaux et une description du système d'instrumentation seront publiés. Les données historiques seront utilisées pour valider les algorithmes de résolution de densité de courant et comparer leurs performances à celles des solutions basées sur des réseaux de neurones informés par la physique. Les résultats estimés de densité de courant seront utilisés pour une publication supplémentaire.
Le système d'instrumentation sera intégré dans un banc d'essai du CEA dédié au contrôle optimal, à l'observation des transitoires, à la détection de défauts et à l'exploration des phénomènes de propagation de défauts. Cette approche offrira une observation dynamique et non invasive de la distribution du courant dans la pile à combustible, améliorant ainsi la compréhension de son fonctionnement et facilitant l'optimisation de ses performances et de sa durée de vie.
Capteurs électrochimiques à base de diamant pour le contrôle de la pollution de l'eau en milieux urbains
Ce postdoc est proposé par le CEA List dans le cadre du projet européen UrbaQuantum (« A novel, integrated approach to urban water quality monitoring, management and valorisation ») de l’appel à projet HORIZON-CL6-2024-ZEROPOLLUTION-02. Ce projet a pour objectif principal de développer, en réponse aux contexte des changements climatiques, des capteurs, des modèles et des protocoles pour une meilleure gestion du cycle de l’eau en milieux urbains.
Le post-doctorant au sein du Laboratoire Capteurs et Instrumentation pour la Mesure (LCIM) du CEA List contribuera au développement des capteurs électrochimiques à base de diamant de synthèse et des protocoles de mesure associés pour la détection de polluants de types pharmaceutiques, métaux lourds, PFAS et pesticides. Ces capteurs seront miniaturisés et intégrés dans une cellule microfluidique, en partenariat avec le CEA-Leti, puis testés en conditions réelles sur le terrain.
Etude et développement d’un banc de test modulaire « high-side » pour la validation applicative de composant Grand Gap
Les transistors grand gap (GaN, SiC) jouent un rôle clé dans l’électronique de puissance, mais leur intégration industrielle reste freinée par des difficultés de mise en œuvre. Le composant 'high-side', au sein d’une structure en bras de pont, est particulièrement sensible aux transitoires de tension et de courant, lesquels dépendent fortement du routage, de la topologie et des modes de commutation (ZVS, ZCS). Son caractère flottant rend les mesures complexes et peut perturber les commutations lors des essais applicatifs. Une méthodologie adaptée aux transitoires rapides a été développée lors d’une thèse, aboutissant à un banc de test breveté pour la caractérisation des composants 'low-side'. Le sujet du post-doctorat présenté ici vise à adapter cette méthodologie aux composants 'high-side' qui sont plus complexe à piloter et mesurer, afin de caractériser et modéliser le vieillissement dû aux transitoires de grille dans des conditions réalistes. Le banc de test permettra de générer des profils de stress reproductibles sur 'low-side' et 'high-side', et de mesurer précisément des paramètres clés comme la tension de seuil ou les instabilités dynamiques. Pour atteindre ces objectifs, un nouveau banc sera conçu, intégrant une commande spécifique et des systèmes de mesure adaptés, en vue de tests applicatifs et d’essais de vieillissement ciblés.
Implémentations sécurisées de la cryptographie post-quantique basée sur le code : co-conception logiciel-matériel et résistance aux canaux auxiliaires
L’informatique quantique menace les schémas cryptographiques traditionnels tels que RSA et ECC, rendant nécessaire le développement de la cryptographie post-quantique (PQC). Le processus de standardisation du NIST a sélectionné des algorithmes comme HQC, un mécanisme d'encapsulation de clé basé sur les codes. L’implémentation efficace et sécurisée de ces algorithmes, notamment dans des environnements contraints en ressources comme l’IoT et les systèmes embarqués, demeure un défi. Les attaques physiques, en particulier les attaques par canaux auxiliaires et par injection de fautes, nécessitent des contre-mesures robustes telles que le masquage, le "shuffling" et le "hiding". Ces protections introduisent toutefois des surcoûts en performance, rendant indispensable la co-conception matériel/logiciel. Le projet se concentre sur l’implémentation logicielle sécurisée de HQC avec une forte résistance aux attaques physiques. Les plateformes ciblées incluent les systèmes embarqués basés sur RISC-V. La recherche porte sur la conception et l’évaluation de contre-mesures contre les canaux auxiliaires sur ces plateformes. Les phases ultérieures étendront le travail à des prototypes FPGA pour valider la sécurité en matériel. Une exploration ASIC pourra suivre afin d’optimiser la surface, la consommation et les performances sous contraintes de sécurité. Le candidat développera également des techniques algorithmiques et architecturales de mitigation des attaques. Les contributions incluront des outils open source et des benchmarks. Ce travail soutiendra le déploiement sécurisé de la PQC dans des applications concrètes.