Emplois
Toutes nos offres
-
Post-doctorat
Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F
Au sein d’une équipe de recherche technologique pluridisciplinaire d’experts en outils de co-design SW/HW par application de méthodes formelles, vous intervenez dans un projet national de recherche visant à développer un environnement pour identifier, analyser et réduire les interférences engendrées par l’exécution concurrente d’applicatifs sur une plateforme matérielle multi-coeur hétérogène sur étagère (COTS)
-
CDD
Research Engineer in component Security H/F
The position concerns the implementation of hardware countermeasures in processor architectures based on the RISC-V ISA. The missions are as follows : • RTL implementation, verification and documentation of security IPs then their integration into RISC-V processors emulated on FPGA. • Verification of CPU operation before and after integration of countermeasures. • Development of demonstrator...
-
Doctorat
Attaque par réutilisation de code : génération dapos;exploits automatiques et protections
Les vulnérabilités logicielles dues à des erreurs de gestion de la mémoire sont parmi les plus faciles à exploiter. Pour empêcher un attaquant dapos;injecter son propre code arbitraire (shellcode), les systèmes modernes appliquent généralement une prévention de lapos;exécution des données (DEP), souvent mise en œuvre sous la forme de permissions de segment (Write xor Execute...
-
Doctorat
Cas dapos;Assurance Dynamiques pour les Systèmes Autonomes Adaptatifs
Donner lapos;assurance que les systèmes autonomes fonctionneront de manière sûre et sécurisée est une condition préalable à leur déploiement dans des domaines dapos;application critiques en termes de mission et de sécurité. Généralement, les assurances sont fournies sous la forme de cas dapos;assurance, qui sont des arguments vérifiables et raisonnés démontrant quapos;une revendication de haut niveau...
-
Doctorat
Intégrité, disponibilité et confidentialité de lapos;IA embarquée dans les étapes post-apprentissage
Dans un contexte de régulation de lapos;IA à lapos;échelle européenne, plusieurs exigences ont été proposées pour renforcer la sécurité des systèmes complexes dapos;IA modernes. En effet, nous assistons à un développement impressionnant de grands modèles (dits modèles de quot;Fondationquot;) qui sont déployés à grande échelle pour être adaptés à des tâches spécifiques sur une large...
-
Doctorat
Modélisation physique d’une attaque laser sur FD-SOI en vue de la sécurisation des cellules standard du nœud FD-SOI 10 nm
La cybersécurité de nos infrastructures est un maillon essentiel à la transition numérique qui s’opère et la sécurité doit être assurée sur l’ensemble de la chaîne. Les couches basses, matérielles, s’appuient sur du composants microélectroniques assurant les fonctions essentielles pour l’intégrité, la confidentialité et la disponibilité des informations traitées. Le matériel assurant des fonctions de...
-
Doctorat
Identification versus anonymisation depuis un client embarqué opérant sur une blockchain
Le premier déploiement d’une blockchain à l’échelle de la planète date de 2010 avec Bitcoin, qui introduit un système monétaire complètement numérique et une crypto-monnaie, le bitcoin. Au sein de Bitcoin, toutes les transactions sont publiquement accessibles et traçables, ce qui devrait générer de la confiance entre les acteurs. Mais la traçabilité des transactions, in...
-
Doctorat
Blockchain locale embarquée sur dispositifs physiques sécurisés
La blockchain repose sur un protocole de consensus qui a pour objectif de partager et répliquer des données ordonnancées entre les pairs d’un réseau distribué. La pile protocolaire, embarquée dans les dispositifs pairs du réseau, s’appuie sur un mécanisme de preuve qui atteste l’horodatage et permet une certaine équité au sein du réseau. Les protocoles...
-
CDD
Utilisation LLMs pour la spécification des politiques de partage des données - 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) en usage des LLMs pour la spécification des politiques de partage des...
-
Stage
Improving the Effectiveness of LLM-Assisted ISS Generation from Design Specification H/F
The internship aims to enhance the performance of large language models (LLMs) in generating Instruction Set Simulator (ISS) code by using Reinforcement Learning (RL) to optimize and automate prompt tuning. Additionally, the internship seeks to expand dataset coverage by using simulators such as QEMU (Quick Emulator) in-the-loop to simulate and evaluate a wider range of...
-
CDD
Ingénieur de recherche en génie logiciel pour les modèles émergents en IA H/F
Rejoignez le CEA pour donner du sens à votre activité, mener ou 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 ? Nous cherchons un(e) ingénieur(e) de recherche en génie logiciel pour les modèles émergents en IA pour le CEA/DRT/List (Direction...
-
Doctorat
Sécurisation contre les attaques par canal auxiliaire par la combinaison de contre-mesures logicielles à faibles impacts en performance
Les attaques par canal auxiliaire, comme lapos;analyse de la consommation électrique ou des émissions électromagnétiques dapos;un processeur, permettent de récupérer des informations sensibles, telles que des clés cryptographiques. Ces attaques sont particulièrement efficaces et représentent une menace sérieuse pour la sécurité des systèmes embarqués. Cette thèse se concentre sur la combinaison de contre-mesures logicielles à...
-
Doctorat
Sondage de circuits intégrés par faisceau électronique
La conception des circuits intégrés nécessite, en fin de chaîne, des outils dapos;édition de circuit et dapos;analyse de défaillance. Parmi ces outils, le sondage de niveaux de potentiels électriques par utilisation dapos;un faisceau électronique disponible dans un MEB (Microscope Electronique à Balayage) permet de connaitre le signal électrique présent dans une zone du circuit, cette...
-
Doctorat
Combinaison de sous et surapproximations de la memoire pour lapos;analyse de code bas-niveau
Le théorème de Rice énonçant quapos;on ne peut pas avoir de méthode qui sache automatiquement dire si une propriété sur un programme est vraie ou non a conduit à séparer les outils de vérification en deux groupes: les outils sound fonctionnant par sur-approximation, comme lapos;interprétation abstraite, sont capables de prouver automatiquement que certaines propriétés sont...
-
Doctorat
Sécurisation cryptographique d’enclaves de processeurs RISC-V avec CHERI
CHERI (Capability Hardware Enhanced RISC Instructions) est une solution permettant de sécuriser le processeur contre les fuites spatiales et temporelles de mémoire en transformant tout pointeur en capacité définissant de façon claire les bornes d’accès aux données ou instructions adressées. Dans cette thèse, nous proposons sur un processeur d’applications RISC-V d’enrichir CHERI et ses possibilités...
-
Doctorat
Nouvelles méthodes d’apprentissage appliquées aux attaques par canaux auxiliaires
Les produits sécurisés grâce à des mécanismes cryptographiques embarqués peuvent être vulnérables aux attaques par canaux auxiliaires. Ces attaques se basent sur l’observation de certaines quantités physiques mesurées pendant l’activité du dispositif dont la variation provoque une fuite d’information qui peut mettre en défaut la sécurité du dispositif. Aujourd’hui ces attaques sont rendues efficaces, même...
-
Doctorat
Constructions à sécurité CCA pour le FHE
Le chiffrement homomorphe (FHE) est un corpus de techniques cryptographiques permettant le calcul directement sur les chiffrés. Depuis ses débuts, il y a une quinzaine d’années, le FHE a fait l’objet de nombreuses recherches en vue d’améliorer son efficacité calculatoire. Toutefois, sur le plan de la sécurité, le FHE pose encore de nombreuses questions. En...
-
Doctorat
Contrats HW/SW pour l’analyse de robustesse aux fautes de processeurs open-source
Cette thèse se concentre sur la cybersécurité des systèmes embarqués, en particulier sur la vulnérabilité des processeurs et des programmes face aux attaques par injection de fautes. Ces attaques perturbent le fonctionnement normal des systèmes, permettant aux attaquants dapos;exploiter des failles pour accéder à des informations sensibles. Bien que des méthodes formelles aient été développées...
-
Doctorat
Acoustique et Electromagnétisme (AEM) : Nouvelles approches pour la caractérisation sécuritaire des composants de type SoCs
Des travaux menés au sein du CEA-Leti ont montré que les attaques physiques peuvent être une menace pour les mécanismes de sécurité des SoC (System on Chips). En effet, les injections de fautes par perturbation électromagnétique ont déjà conduit à une escalade de privilèges en sapos;authentifiant avec un mot de passe illégitime, ou plus récemment...
-
Stage
Développement d'analyse numérique pour des biocapteurs fibrés H/F
Dans le cadre du stage, il s’agira de participer à la formation d’un laboratoire sur fibre ultracompact et dédié à la détection d’agents de la menace biologique. Dans un premier temps, le candidat réalisera des analyses spectrales comparatives de différents transducteurs à fibre optique. Il devra faire preuve d’une grande rigueur scientifique pour établir les...
-
Stage
Etude approfondie des modes à vitesse de groupe nulle dans les rails : mesure locale de ses propriét H/F
Les ondes élastiques guidées sont un phénomène physique prometteur pour le contrôle de l'état de santé de structures élancées comme les tubes ou les rails, car celles-ci permettent la surveillance sur de longues distances avec un nombre limité de capteurs . Néanmoins, il est souvent nécessaire de connaître a priori les propriétés élastiques des matériaux,...
-
Stage
Stage - Exploration des méthodes de pipelining pour une unité arithmétique à virgule flottante de haute précision à largeur variable H/F
The LSTA laboratory (Advanced Technologies and Systems-on-chip Laboratory) works on the development of innovative chips for various application domains: Artificial Intelligence, High Performance Computing (HPC) and Quantum computing. Many scientific computing applications are based on the resolution of linear systems by iterative methods. This step consumes the majority of the computation time. Extending the computation...
-
CDD
Evaluateur en cryptographie et attaques par observation - CDD - Grenoble H/F
Nous rejoindre, pour quoi faire ? Pour développer et conduire des attaques par observation sur du matériel électronique. Vos missions seront de : contribuer aux tâches d’évaluation selon la méthodologie des critères communs ou de schémas privés : analyse de l'implémentation d'une fonction de sécurité (génération d'aléas, algorithmes cryptographiques, chiffrement d'une mémoire, etc.) concevoir et réaliser des attaques...
-
CDD
Evaluateur en attaques semi-invasives H/F
Le poste proposé dans le cadre du laboratoire CESTI correspond à une évaluatrice / un évaluateur en attaque semi-invasive. Il consiste en la réalisation de tests par perturbation lumineuse ou électromagnétique (injection de fautes). Fort de votre curiosité et de votre imagination pour challenger un composant sécurisé, vous effectuerez des tests de pénétration en utilisant...
-
CDI
Evaluateur en sécurité électronique et conformité par critères communs H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Le CESTI du LETI cherche à renforcer son équipe d’évaluateurs en analyse de conformité et tests associés selon la méthodologie des Critères Communs. Votre mission sera de : mener l’analyse de conformité de produits sécurisés selon la méthodologie des Critères Communs mener les tests indépendants requis pour vérifier les...
-
CDD
CDD Ingénieur en simulations multiphysiques - Machines tournantes / Piézoélectricité H/F
Nous recherchons un ingénieur en simulations multiphysiques pour modéliser et simuler des machines tournantes (avec un focus particulier sur les moteurs à aimants permanents) et des systèmes piézoélectriques. Vous serez responsable de développer des modèles multiphysiques, en utilisant des outils avancés comme Simulink pour la modélisation système et un logiciel de simulation par éléments finis...
-
Stage
Implementation and Evaluation of Innovative Algorithms for Memory Testing in Integrated Circuits H/F
In this context, LFIM, in collaboration with the Laboratory of Computer Science, Robotics, and Microelectronics of Montpellier (LIRMM), has explored the testability of memories integrated into NMC systems, leveraging the existing computing capabilities in such architectures. As a result of the collaboration between these institutions, an initial theoretical study was conducted on the integration of...
-
CDD
Ingénieur Concepteur FPGA – Capteurs pour le contrôle qualité de biomédicaments - CDD 18 mois H/F
La filière des industries de santé et les patients vivent depuis une vingtaine d’années une véritable révolution avec l'arrivée de biomédicaments dont les principes actifs sont produits à partir du vivant et issus des recherches les plus fondamentales en biotechnologies. Ces biomédicaments apportent des solutions nouvelles et de nouveaux espoirs de traitements dans de multiples...
-
CDI
Ingénieur(e) système d'instrumentation innovant H/F
« Rejoignez le CEA pour donner du sens à votre activité, mener ou 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 ? Nous cherchons un(e) ingénieur(e) en système d'instrumentation innovant pour le CEA/DRT/List (Direction de la Recherche Technologique). Ce...
-
CDI
Chef du service Sécurité des Systèmes Electroniques et des Composants (SSSEC) H/F H/F
Dans le cadre de ses missions, le/la chef(fe) de Service Sécurité des Systèmes Electroniques et des Composants (SSSEC) : Elabore et partage aux équipes la stratégie du service en participant activement à sa définition et en déclinant les objectifs globaux du CEA sur son périmètre, Gère les 4 laboratoires du service en déclinant la stratégie...
-
CDI
Ingénieur chercheur en Propagation hyperfréquence H/F
Dans le cadre des activités R&D du laboratoire antennes, propagation et couplage inductif (LAPCI) du CEA-LETI, le ou la candidat.e sera en charge de l’étude du canal de propagation pour des applications de télécommunications et de capteurs électromagnétiques innovants de type radar. Ces recherches contribueront au développement de nouvelles technologies de communication et de détection...
-
Doctorat
Implémentation matérielle/logicielle sécurisée et agile des nouveaux algorithmes de signature numérique en cryptographie post-quantique
La cryptographie joue un rôle fondamental dans la sécurisation des systèmes de communication modernes en garantissant la confidentialité, lapos;intégrité et lapos;authenticité. La cryptographie à clé publique, en particulier, est devenue indispensable pour sécuriser les processus d’échange de données et d’authentification. Cependant, l’avènement de l’informatique quantique constitue une menace pour de nombreux algorithmes cryptographiques à clé...
-
Doctorat
Défense des modèles dapos;analyse de scène contre les attaques adversaires
Dans de nombreuses applications, des briques dapos;analyse de scène comme la segmentation sémantique, la détection et la reconnaissance dapos;objets, ou la reconnaissance de pose, sont nécessaires. Les réseaux de neurones profonds sont aujourdapos;hui parmi les modèles les plus efficaces pour effectuer un grand nombre de tâches de vision, parfois de façon simultanée lorsque lapos;apprentissage profond...
-
CDD
Hardware/software cybersecurity of embedded systems H/F
Context: Fault injection allows an attacker to move the target processor out of its expected functioning bounds. A hardware perturbation, by means of a fault injection, aims at inducing logical changes either at the hardware or software levels, such that the target system reaches unexpected states or follows unexpected execution paths. Reaching such unexpected states is...
-
Doctorat
Techniques d’attaques laser appliquées à la rétro-conception de mémoires
Les mémoires jouent un rôle crucial pour la sécurité des systèmes cyber-physiques. Elles gèrent des données sensibles telles que les clés cryptographiques et les codes propriétaires. Avec lapos;augmentation des attaques dites matérielles, comprendre et manipuler lapos;organisation de la mémoire est devenu essentiel. Cette thèse vise à explorer lapos;application de techniques dapos;injection laser, notamment la Stimulation...
-
Post-doctorat
Conception et mise en œuvre d’un réseau de neurones pour la simulation thermo-mécanique en fabrication additive
Le procédé WAAM (Wire Arc Additive Manufacturing) est une méthode de fabrication additive métallique permettant de fabriquer des pièces de grandes dimensions avec un taux de dépôt élevé. Cependant, ce procédé engendre des pièces fortement contraintes et déformées, rendant complexe la prédiction de leurs caractéristiques géométriques et mécaniques. La modélisation thermomécanique est essentielle pour prédire...
-
Post-doctorat
Calcul Haute performance exploitant la technologie CMOS Silicium à température cryogénique
Les avancées en matériaux, architectures de transistors et technologies de lithographie ont permis une croissance exponentielle des performances et de l’efficacité énergétique des circuits intégrés. De nouvelles voies, dont le fonctionnement à température cryogénique, pourraient permettre de nouvelles avancées. L’électronique cryogénique, nécessaire pour manipuler des Qubits à très basse température, est en plein essor. Des...
-
CDD
Ingénieur-chercheur en développement librairies mathématiques - CDD/Post-doc H/F
Nous recherchons un CDD ou post-doctorat de 18 mois pour réaliser des développements mathématiques et d'implémenter, sur architecture GPU, les librairies logicielles permettant de : 1/ Générer les surfaces spline MBA à partir d'un nuage de points exprimés dans un système de coordonnées génériques curvilignes. 2/ Calculer leur intersection avec des rayons. Au sein de...
-
Stage
Exploring the Generalizability of ML-driven Model Generation for HW Design H/F
This internship aims to develop a methodology for constructing machine learning (ML)-based models that effectively generalize across the design space of the CVA6 processor. The objective is to predict performance, power, and area (PPA) metrics based on hardware configurations while reducing the number of required simulations. One aspect of the internship involves conducting a comprehensive...
-
CDD
Ingénieur(e) chercheur en génie logiciel et modélisation pour la maintenance des systèmes nucléaires H/F
Depuis sa création en 2008, la plateforme Papyrus est en constante évolution, à la fois pour s’adapter à court/moyen terme aux besoins des partenariats en cours (e.g., projets de transferts industriels de nos méthodes et outils), mais aussi à plus long terme pour anticiper les usages et les besoins de demain (e.g., projets institutionnels européens...
-
CDD
Ingénieur-chercheur en Simultaneous Localisation and Mapping (SLAM) et Machine Learning H/F
Rejoignez le CEA pour donner du sens à votre activité, mener ou soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. Nous cherchons un(e) Ingénieur-chercheur en Simultaneous Localisation and Mapping (SLAM) et Machine Learning. Ce poste de cadre en CDD est basé sur le site du CEA Paris-Saclay, Essonne...
FR 
EN 