Fuzzing avancé pour la sécurité des chaînes d’approvisionnement logicielles
Les appareils IoT (routeurs, systèmes de vidéosurveillance, etc.) reposent sur un code binaire assurant leur fonctionnement. Ce code intègre souvent des milliers de composants logiciels préexistants, majoritairement issus de bibliothèques open source dont le code est librement accessible en ligne. Cette complexité ouvre la voie à des attaques visant la chaîne d’approvisionnement logicielle, notamment par l’insertion de portes dérobées ou l'exploitation de vulnérabilités connues.
Le projet SECUBIC a pour objectif de renforcer la détection de ces vulnérabilités au sein des firmwares IoT. Dans ce cadre, le ou la candidat.e contribuera à l’approfondissement des travaux de recherche existants et participera au développement de nouvelles techniques de fuzzing et d’analyse statique visant à prévenir et détecter ce type d’attaques.
Apprentissage profond pour application soutenable : réseau d'énergie, décarbonation des villes
Le poste de post-doctorat s’inscrit dans le cadre du projet AI4NRJ. Ce projet vise à développer une nouvelle forme de supervision intelligente embarquée pour optimiser les réseaux d’énergie intelligents. Contrairement aux approches existantes (IA, jumeaux numériques), il intégrera simultanément l’adaptabilité à de nouvelles données, de nouvelles habitudes, ainsi que la robustesse en tenant compte des relations de cause à effet.
Une IA basée sur un modèle fondationnel, entraînée sur de multiples jeux de données et capable d’effectuer diverses tâches, sera développée afin de gérer des données hétérogènes, y compris des paramètres complexes tels que les fluctuations de la demande et les pertes d’énergie, tout en prédisant la consommation et en détectant les anomalies.
Définition et mise en œuvre de métriques pour la mesure de l’obsolescence logicielle
L'impact environnemental du numérique est devenu une préoccupation majeure, avec une empreinte environnementale (notamment carbone) mesurable et croissante. Une part importante de cet impact provient de la fabrication des équipements, souvent renouvelés prématurément, en partie à cause de l'obsolescence induite par le logiciel. « Les programmes ralentissent plus vite que le matériel s’améliore » est la formulation de la loi de N. Wirth. Tout utilisateur d’ordinateur ou de téléphone intelligent en a l’expérience lors des multiples mises à jour logicielles, jusqu’à ce que le l’ordinateur ou le téléphone ne supporte plus les besoins des applications.
Malheureusement cette loi n’a jamais été formalisée ni mesurée expérimentalement ; c’est l’objectif de ce projet.
Plus précisément l’objectif est de se doter de métriques sur l’évolution de la complexité opérationnelle des logiciels à travers leurs différentes versions. Ces métriques pourront ensuite être utilisées dans les ateliers logiciels et éventuellement permettre de répondre à des besoins normatif : « mon logiciel ne doit pas prendre plus de 7% de complexité par an » afin d’augmenter la durée de vie du matériel qui représente la majeure partie de l’empreinte environnementale du numérique.
En pratique il s’agira de mettre au point une méthologie sur des outils de complexité croissantes en utilisant des sénarios d’usage pour mesurer la complexité opérationnelle.
Cette méthode sera à appliquer sur un ou plusieurs cas d’usage tels qu’un scénario de traitement de texte open source (LibreOffice) ainsi qu’un scénario Web.
Prototypage et caractérisation électrochimique de batteries tout-solide
Titulaire d’un doctorat en électrochimie, science des matériaux, chimie ou génie des procédés, le/la post-doctorant(e) contribuera, en étroite collaboration avec les partenaires du projet, au développement de procédés de fabrication et au prototypage de cellules de batteries tout-solide de 4? génération (Li/NMC riche en Ni) et de 5? génération (Li/Soufre).
Les travaux porteront sur la mise en forme des électrodes et l’assemblage de cellules tout-solide, en s’appuyant sur des procédés tels que l’enduction, l’extrusion, ainsi que des voies alternatives incluant l’impression 3D. Les procédés seront optimisés afin de réaliser des cellules prototypes (pile bouton et format sachet souple), de capacité allant jusqu’à 1 Ah, intégrant des interfaces optimisées. Ces cellules seront ensuite testées électrochimiquement afin d’évaluer leurs performances (capacité spécifique, efficacité coulombique, stabilité au cyclage).
La majorité des travaux expérimentaux sera réalisée en environnement contrôlé (salle anhydre), avec des étapes régulières de caractérisation des électrodes et des cellules développées. Les missions principales seront :
- Contribuer à la définition des plans d’essais à partir des données internes et de l’état de l’art,
- Développer et optimiser les procédés de fabrication d’électrodes et de cellules tout-solide,
- Réaliser et tester des cellules prototypes Gen4b et Gen5,
- Evaluer les performances électrochimiques et analyser les résultats obtenus,
- Mettre en forme et présenter les résultats de manière claire et synthétique,
- Proposer des axes d’amélioration, contribuer au bon fonctionnement du laboratoire, respecter les règles de sécurité et de qualité,
- Valoriser les travaux de recherche par des publications, communications scientifiques et dépôts de brevets.
Modélisation globale des systèmes électriques sous contraintes de limites planétaires et sociales
Le projet EQUALS (EQUitable Allocation of Low-carbon Electricity Sources in a Changing and Resource-limited World) aborde le défi de la transition des énergies fossiles vers des énergies bas-carbone, sous contrainte des limites planétaires et sociales. Si l’électrification rapide des usages est un levier majeur face au changement climatique, elle se heurte à la disponibilité limitée des ressources naturelles, aux budgets carbone et aux spécificités territoriales. EQUALS évalue la faisabilité de satisfaire les besoins énergétiques mondiaux au sein de ces limites, en traitant l'énergie comme un commun.
Basé au CEA Liten à Grenoble, ce postdoctorat de 18 mois pose les bases méthodologiques du projet. La mission se concentre sur la génération de séries temporelles horaires de demande d’électricité à l’échelle nationale. Ce travail implique la reconstruction de profils de consommation intégrant la thermosensibilité (chauffage et froid), les trajectoires socio-économiques de développement et l’électrification des usages finaux. En parallèle, des profils de production EnRi (renouvelable intermittente) seront générés pour quantifier la disponibilité des ressources à travers le monde.
Ces données alimenteront un modèle d'optimisation global afin d'identifier des trajectoires de transition minimisant le recours aux énergies fossiles, dans le respect des planchers sociaux et des plafonds planétaires. Le ou la candidat.e intégrera l'équipe interdisciplinaire EQUALS et collaborera avec un réseau d'experts en modélisation, géographie, écologie industrielle et climat. Ce poste offre un cadre de recherche stimulant au sein de l'écosystème grenoblois, faisant le pont entre l'ingénierie technique et les sciences de la durabilité.
Propriétés thermiques de structures 3D en nitrure d'Aluminium dédiées au packaging électronique
Le postdoc de 12 mois s'inscrit dans le projet global 3DNAMIC, financé par la région Occitanie et associant la plateforme Matériaux du département DRTDOCC et le laboratoire Laplace. Une thèse a démarrée en décembre 2024 visant "l'Etude et la caractérisation des céramiques 3D en nitrure d'aluminium pour le packaging et la gestion thermiques de composants électroniques.".
Le postdoc doit débuter en septembre 2026 avec comme objectifs principaux:
Objectif 1 : Réaliser une analyse comparative des propriétés thermiques des céramiques produites par des éléments AF et sur des structures modèles à l'aide de différents matériaux disponibles dans la plateforme matériaux du CEA.
Objectif 2: Proposer, qualifier et valider, numériquement puis expérimentalement, des structures de dissipation thermique pour les céramiques obtenues par FA dans le cadre du projet 3DNAMIC.
Intégration de répliques CRDT dynamiques
Les cadres de modélisation existants présentent des capacités de collaboration limitées. La collaboration au niveau du modèle est une fonctionnalité essentielle. Or, la plupart des solutions reposent principalement sur des bases de données centralisées et hébergées dans le cloud. Si ces solutions facilitent la collaboration entre partenaires connectés grâce à des techniques de contrôle de la concurrence ou à une politique de « dernier contributeur », elles ne prennent pas en charge les scénarios de collaboration hors ligne, pourtant indispensables à la conception de logiciels privilégiant le local. Cette situation engendre un compromis important : utiliser des solutions cloud et sacrifier le contrôle de la propriété des données, ou opter pour des instances séparées sans capacités de collaboration.
L’objectif de ce projet postdoctoral est de contribuer à l’amélioration d’un cadre d’ingénierie système basé sur les modèles (MBSE) existants, en privilégiant le local et en s’appuyant sur des types de données répliquées sans conflit (CRDT) spécialisés. Le but est de permettre la collaboration en temps réel grâce à des CRDT spécifiques à la modélisation. L’approche proposée consiste à étendre une couche de communication intermédiaire, utilisant des CRDT, afin de synchroniser de manière transparente des modèles d’ingénierie distribués et fonctionnant hors ligne.
Le chercheur postdoctoral réalisera une revue de la littérature sur les approches de communication et d'appartenance à un groupe dans les environnements P2P. Un aspect majeur à prendre en compte est l'entrée et la sortie des membres d'un groupe, afin que l'état CRDT reste toujours cohérent. Les composants seront intégrés à notre cadre de modélisation CRDT.
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.
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.
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.