Emplois
Toutes nos offres
-
Doctorat
Guidage astucieux des outils de géneration de tests
Le fuzzing est une technique de génération de tests automatisée. Il consiste en une exécution répétée dapos;un programme avec des entrées générées automatiquement, afin de déclencher des plantages, symptômes de bugs sous-jacents au niveau du code, qui peuvent ensuite être corrigés. Un défi majeur dans ce domaine consiste à passer d’une exploration indistincte du fonctionnement...
-
Post-doctorat
Conception de Machines d'Ising basées sur des réseaux d'oscillateurs spintroniques couplés par circuits CMOS
Le nombre et la complexité des tâches de calculs nécessaires au développement de nos sociétés basées sur l’information et la communication sont de plus en plus importants et pose un problème prégnant en besoin énergétique. Il est ainsi indispensable de proposer de nouvelles architectures matérielles de calculateurs permettant d’améliorer drastiquement leur efficacité énergétique. Le postdoc...
-
Doctorat
Intégration de dispositifs quantiques sur hétérostructures Ge/SiGe
La réalisation de qubits de spin à partir de boites quantiques semiconductrices est activement explorée pour la mise au point de processeurs quantiques. S’appuyant sur les procédés de fabrication éprouvés de lapos;industrie microélectronique, cette technologie offrirait un passage à l’échelle plus rapide que d’autres technologies concurrentes. Récemment, des qubits directement dérivés de plateformes industrielles ont...
-
CDD
Ingénieur layout mémoires et SoC mémoires H/F
Dans le cadre du développement de systèmes intégrés à base de nouveaux dispositifs de mémoires non volatiles développés au LETI, nous recherchons un(e) ingénieur(e) ayant de l'expérience en layout de circuits mémoires et de systèmes-sur-puce. En interaction avec les concepteurs et architectes, vous aurez pour mission: l'organisation du floorplan d'un module complet, l'organisation et la...
-
Post-doctorat
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 à...
-
CDD
Ingénieur Système GNSS et Techniques de brouillage/usurpation d'identité H/F
Autrefois cantonnés à des applications très spécifiques, les systèmes de navigation par satellite, également appelés GNSS (Global Navigation Satellite Systems), sont désormais très répandus et se retrouvent dans de nombreux appareils, y compris certains systèmes sensibles comme les véhicules autonomes et les applications militaires. Parallèlement à l'expansion rapide de cette technologie, la fréquence et la...
-
Doctorat
Partitionnement de circuits intégrés pour le contrôle de Qubits semi-conducteurs passant à l’échelle : co-conception des fonctions cryoCMOS et à température ambiante
Les algorithmes quantiques capable de démontrer un avantage quantique nécessiteront l’utilisation de processeurs quantiques (QPU) dotés de plusieurs milliers de Qubits. La conception d’un tel calculateur quantique est un défi pluridisciplinaire au cœur de l’ingénierie quantique. L’électronique de contrôle y fait face à des contraintes particulières liées à la température cryogénique à laquelle opèrent les...
-
CDD
Autrefois cantonnés à des applications très spécifiques, les systèmes de navigation par satellite, également appelés GNSS (Global Navigation Satellite Systems), sont désormais très répandus et se retrouvent dans de nombreux appareils, y compris certains systèmes sensibles comme les véhicules autonomes et les applications militaires. Parallèlement à l'expansion rapide de cette technologie, la fréquence et la complexité des attaques contre ces systèmes ont également augmenté grâce à des techniques connues sous le nom de brouillage et d'usurpation d'identité. Pour atténuer les vulnérabilités des équipements, la plupart des récepteurs intègrent des algorithmes pour détecter de telles attaques en analysant divers signaux et mesures fournis par le système. Le laboratoire LS2PR du LETI développe une approche innovante pour répondre à cette problématique en utilisant des techniques d'intelligence artificielle (IA) pour détecter et classer de telles attaques avec des temps de réponse très courts. Cependant, l’efficacité de ces techniques dépend de la qualité de la base de données utilisée pour la formation, ce qui est encore compliqué par la difficulté de mettre en œuvre des attaques impliquant des équipements complexes. En s'appuyant sur les connaissances du CEA et de ses équipes partenaires, le candidat devra : Effectuer un examen de pointe des différents types d’attaques GNSS. Acquérir ou approfondir ses connaissances sur l'utilisation des systèmes pertinents (récepteurs GNSS, générateurs de signaux comme Skydel). Définir un protocole de test qui prend en compte les contraintes de faisabilité et les objectifs d'apprentissage (biais d'apprentissage, etc.). Mettre en œuvre la configuration des tests, y compris la configuration, la configuration et la programmation de l'équipement. Collecter des données. Effectuer un post-traitement et une analyse statistique des données collectées pour valider leur adéquation à l'apprentissage automatique. Préparer les rapports et participer aux réunions de projet. Publier leurs travaux dans des conférences et des revues de haute qualité
Autrefois cantonnés à des applications très spécifiques, les systèmes de navigation par satellite, également appelés GNSS (Global Navigation Satellite Systems), sont désormais très répandus et se retrouvent dans de nombreux appareils, y compris certains systèmes sensibles comme les véhicules autonomes et les applications militaires. Parallèlement à l'expansion rapide de cette technologie, la fréquence et la...
-
CDD
Ingénieur-Chercheur Sécurité des Composants H/F
Le poste se déroulera au LSCO (Laboratoire Sécurité des Composants) dont une thématique est la sécurisation des primitives cryptographiques dont la cryptographie post-quantique (PQC) et le chiffrement homomorphe (FHE) font parties. Le poste concerne l'implémentation de cryptosystèmes basés sur les réseaux euclidiens (FHE et PQC) et de l'analyse des fuites temporelles (time-based side-channel) sur des...
-
Doctorat
Réseaux de neurones sur graphes pour la prédiction de la consommation de puissance d’architectures électroniques numériques
L’analyse de consommation de puissance est une étape importante du développement dapos;une architecture numérique. Cette analyse de puissance est nécessaire dès le début du codage RTL (Register Transfer Level), lorsque les modifications les plus avantageuses peuvent être apportées. Lorsque les conceptions deviennent plus grandes, lapos;analyse de puissance repose sur des traces de simulation plus longues...
-
Post-doctorat
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...
-
Doctorat
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...
-
Doctorat
États de graphe universels pour des réseaux quantiques robustes et la correction d’erreurs quantiques
Les dernières années ont vu des avancées notables dans les technologies quantiques, consolidant le développement des éléments de base pour le déploiement des futurs réseaux quantiques. De tels réseaux peuvent servir à diverses fins, notamment permettre la transmission dapos;états quantiques entre des parties physiquement éloignées, ou améliorer les capacités de calcul des ordinateurs quantiques en...
-
Doctorat
Modélisation et simulation du comportement humain pour des jumeaux numériques centrés sur lapos;humain
Grâce à une représentation virtuelle synchronisée, les jumeaux numériques sont un moyen pour produire des analyses, prédictions et optimisations de systèmes du monde réel. Or certains de ces systèmes interagissent étroitement avec les humains de sorte que le rôle de ces derniers est déterminant dans le fonctionnement du système. C’est par exemple le cas dans...
-
CDD
Ingénieur(e) systèmes embarqués pour l'intégration d'Intelligence Artificielle (IA) H/F H/F
Un des axes de travail du LIAE concerne l’adéquation entre les algorithmes et les architectures de calcul. Dans ce cadre, le laboratoire s’intéresse au domaine novateur de l’IA spatiale et plus particulièrement des Neural Fields (NeRF) et souhaite proposer des mécanismes permettant l’exécution en temps réel de réseau de neurones de ce type sur des...
-
CDI
Chef de projet électronique – Architecte système CDI H/F
Contexte : Afin d'accompagner nos développements autour des systèmes de capteurs, des systèmes de récupération d'énergie et des systèmes de transmission de puissance sans fil, pour des applications dans le domaine de l’industrie, de l’aéronautique, de la bioproduction, du sport ou encore de l’agriculture et de la préservation des ressources. Nous rejoindre, pour faire quoi...
-
CDD
Ingénieur-chercheur en Vision par ordinateur pour la robotique - CDD - Paris-Saclay F/H
« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ? Le CEA recherche un(e) ingénieur(e)-chercheur(se) en Vision par ordinateur pour la robotique pour la CEA/DRT (Direction de la...
-
CDD
Chef(fe) de projet Synchronisation multi projets équipements H/F
Le projet « Next Gen » a pour but d’identifier et de mettre au point les modules critiques d’une filière silicium sur isolant désertée (FD-SOI) de génération 10 à 7 nm. Outre les travaux de R&D, le projet inclut des investissements en équipements de fabrication de semi-conducteurs de génération avancée et en salles blanches de nouvelle génération...
-
CDD
Ingénieur de recherche en génie logiciel pour les modèles émergents en IA H/F
L’intelligence artificielle induit des changements profonds dans les paysages scientifiques, économiques, politiques et sociétaux contemporains. Une décennie après sa « renaissance », l’apprentissage automatique continue à réaliser des avancées sur de nombreux fronts, au prix cependant d’une boulimie de ressources informatiques induisant une consommation électrique préoccupante. Les modèles de langage actuels comportent quelques centaines de milliards de...
-
Doctorat
Vérification formelle pour la compilation de programmes quantiques
Lapos;informatique quantique est aujourdapos;hui un domaine hautement prometteur, avec des applications décisives dans de nombreux domaines clés (biologie, chimie, cryptographie, optimisation, apprentissage machine, etc). Un des défis les plus importants dans ce champ émergeant est la validation des programmes. En sapos;inspirant des meilleures techniques existantes pour la vérification formelle de programmes classiques -- vérification déductive,...
-
Post-doctorat
Développements de systèmes optoélectroniques pour les technologies de capteurs quantiques
Le Laboratoire Autonomie et Intégration de Capteurs (LAIC) du CEA LETI a pour principales missions le développement de systèmes de capteurs, et en particulier de capteurs quantiques pour des applications de mesures hautes précisions de champs magnétiques. Les activités de l’équipe sont à l’interface du hardware (électronique, optronique, semi-conducteurs), du software (intelligence artificielle, traitement du...
-
Stage
Stagiaire - Aide à la traduction de processus métiers en modèles avec un LLM H/F
Le (la) candidat(e) participera à la mise au point de ce LLM notamment en alimentant le processus d'instruction du modèle avec des exemples tirés de documents issus d’un référentiel établi dans le domaine hospitalier et traduits semi manuellement en BPMN. L'instruction d'un LLM se fait en présentant un certain nombre de tels exemples puis en...
-
CDD
Ingénieur-Chercheur en méthodes formelles pour le quantique - CDD - Paris-Saclay F/H
« Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ? Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes formelles pour...
-
CDD
Designer numérique Front End orienté coprocesseur proche-mémoire H/F
Dans le cadre de ses activités de calcul proche-mémoire et d’accélération matérielle, le LFIM s’intéresse aux applications liées à l’IoT, l’IA embarquée, le traitement de signal et la sécurité matérielle. Adressant un large spectre d’applications, le laboratoire est impliqué sur multiples projets qui ont pour objectif d’avoir le calcule embarqué le plus efficace possible. Dans...
-
CDI
Optoélectronicien pour les technologies de capteurs quantiques - CDI H/F
Les technologies quantiques sont stratégiques pour le développement de capteurs aux performances inégalées, comme nous avons pu le démontrer en magnétométrie. Notre enjeu est également d’adapter ces développements et ce savoir-faire à de nouvelles physiques. Afin d'accompagner nos développements autour des capteurs quantiques, nous recherchons un ingénieur-chercheur en opto-électronique pour participer au développement de capteurs...
-
Post-doctorat
Simulation du transport thermique à des températures sub-Kelvin
La gestion thermique dans les ordinateurs quantiques est une tâche urgente et cruciale. Alors que le nombre de qubits augmente rapidement, davantage de circuits électriques sont placés près des qubits pour les faire fonctionner. Le chauffage par effet Joule de ces circuits pourrait considérablement réchauffer le dispositif de qubit, dégradant ainsi sa fidélité. Avec une...
-
CDD
Post-doctoral researcher specializing in the application of formal methods for timing estimations H/F
As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute to a national research project dedicated to the development of a predictability toolbox. This toolbox aims to analyze the worst-case temporal behavior of microarchitectures associated with embedded RISC-V processors. These...
-
CDD
Ingénieur de Recherche - Traitement de signal pour capteur RF quantique H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Dans le cadre du développement des technologies quantiques, le (la) candidat(e) sera responsable de l'étude, de la modélisation, du dimensionnement et de la caractérisation de systèmes de détection d'ondes radiofréquences basés sur des récepteurs de nouvelle génération reposant sur la physique quantique. Les travaux porteront sur la modélisation des...
-
CDD
Ingénieur Modélisation système : Architecture d'accélérateur pour calcul quantique H/F
CDD modélisation multi-physique système d’un accélérateur pour le calcul quantique à température cryogénique Dans le cadre du programme de développement national du calcul quantique, le CEA rassemble plusieurs corps de métiers, de la physique fondamentale [1] aux circuits intégrés [2]. Dans ce contexte, l’institut ele LIST du CEA participe au développement du contrôle embarqué de...