Emplois
Toutes nos offres
-
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
Ingénieur-Chercheur en méthodes formelles et cybersécurité logicielle bas niveau H/F
Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l’excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes logicielles différenciantes dont notre outil phare BINSEC. Les domaines d’applications associés...
-
CDD
Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau H/F
Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l’excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes logicielles différentiantes dont notre outil phare BINSEC. Les domaines d’applications associés...
-
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...
-
Doctorat
Tests basés sur des scénarios pour les systèmes automatisés : améliorer la sécurité et la fiabilité conformément aux réglementations et aux normes
Cette recherche vise à étudier lapos;efficacité des tests basés sur des scénarios en tant quapos;approche complète et robuste pour évaluer les performances des Systèmes Automatisés (SA) tout en améliorant leur sécurité et leur fiabilité par rapport aux réglementations et aux normes. Lapos;objectif principal de cette thèse sera dapos;étudier les avantages des tests basés sur des...
-
CDD
Ingénieur en visualisation et environnement de développement - 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 visualisation et environnement de développement pour la CEA/DRT (Direction de la Recherche Technologique). Ce poste de...
-
Doctorat
Preuve dapos;équivalence fonctionnelle de codes binaires pour la sécurisation des programmes embarqués
La thèse se place dans le contexte de la cyber-sécurité des systèmes embarqués et des objets connectés, plus particulièrement de leur sécurisation contre les attaques physiques (attaques par canal auxiliaire et attaques par injection de fautes). Le CEA List développe une chaîne de compilation basée sur LLVM, COGITO, pour lapos;application automatisée de contre-mesures contre les...
-
Doctorat
Combinaison de sur et sous-approximations pour l'analyse de programmes bas-niveau
Parce que lapos;analyse de programme est un problème indécidable, les analyses statiques se divisent en 2 catégories: - Les analyses sound, qui calculent une surapproximation de tous les comportements du programme, et permettent de vérifier lapos;absence dapos;erreur. - Les analyses complete, qui calculent une sous-approximation des comportements possibles du programme, et permettent de trouver des...
-
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)
-
Doctorat
Amélioration de la sécurité des capteurs d'images, l'IA au service du tatouage numérique fragile et robuste
Ce sujet de thèse vise à améliorer la sécurité des capteurs dapos;images à travers l’exploration approfondie des récentes techniques dapos;apprentissage profond appliquées au tatouage numérique. Ce procédé de stéganographie consiste à dissimuler un message invisible dans un contenu image sans en altérer le rendu ; message pouvant être récupéré à l’aide d’un autre procédé dit...
-
Doctorat
Conception et analyse de rétroactions basées sur des canaux auxiliaires pour la découverte de vulnérabilités
Le fuzzing est une technique de test dynamique permettant la découverte de vulnérabilités de manière très efficace. Des centaines voire milliers de vulnérabilités sont ainsi détectées (et réparées) chaque année dans les logiciels que nous utilisons. Lorsque que lapos;on essaye de transposer lapos;approche fuzzing sur des systèmes embarqués on se retrouve confronté à plusieurs problèmes...
-
CDD
Développement de solutions logicielles pour la détection de menaces cybersécurité des dispositifs IoT
L’objectif de cette mission sera de contribuer aux spécifications techniques et développements logiciels de solutions de détection de menaces de cybersécurité basées sur l’intelligence artificielle et les signaux matériels au sein de systèmes embarqués. Ces solutions seront ensuite implémentées sur des dispositifs électroniques intégrant principalement des microprocesseurs et microcontrôleurs du commerce. Pour mener à bien...
-
CDD
Stage - Toolbox for cybersecurity tests H/F
The CRA[1] is a proposal of the European Commission to regulate the cybersecurity requirements for digital products. Consequently, digital products will have to comply with new cybersecurity rules and their manufacturers will have to prove their compliance. In this context, new cybersecurity tools will be required to assess the implementation of security function requirements. The...
-
CDD
Ingénieur de Recherche - Synthèse Automatisée de Micro-Architectures de Processeurs pour la Sécurité Matérielle H/F
Joignez-vous à notre équipe dynamique de recherche technologique multidisciplinaire axée sur sur la sécurité matérielle et les analyses SW/HW via des méthodes. Contribuer à un projet national de recherche collaborative visant à automatiser la synthèse des micro-architectures de processeurs, ciblant spécifiquement les processeurs RISC-V intégrés. Missions principales • Participer à la spécification et au développement...
-
Doctorat
Security-by-design pour les modèles de réseaux de neurones embarqués sur plateformes RISC-V
Dans un contexte de régulation de lapos;Intelligence Artificielle à lapos;échelle européenne (AI Act), de nombreuses recommandations concernent la « cybersecurité de l’IA ». Parmi les concepts les plus importants liés à la sécurité des modèles de Machine de Learning et des systèmes basés sur lapos;IA, la quot;security-by-designquot; est le plus souvent associé au renforcement des modèles dès...
-
Doctorat
Conception de circuits numériques approximatifs sur des technologies à semi-conducteurs avancées
À lapos;ère de la digitalisation, notre dépendance envers les systèmes numériques, voraces en énergie, ne cesse de croître. Ce développement insatiable, conjugué à la menace du réchauffement climatique, exige des solutions innovantes. Le calcul approximatif (AxC) est une technique de conception offrant un compromis attrayant entre la précision de calcul et une réduction substantielle de...
-
Doctorat
Formalisation et analyse de contre-mesures contre les attaques par injection de fautes dans des processeurs open-source
Rejoignez le CEA-List au sein de la division DSCIN pour une opportunité de doctorat dans le domaine de la sécurité matérielle et de lapos;analyse formelle des microarchitectures de processeurs. Cette recherche se concentre sur la formalisation et lapos;analyse des contre-mesures contre les attaques par injection de fautes sur des processeurs open-source. Nous visons à établir...
-
Doctorat
Étude de la sensibilité des System-on-Chip aux attaques par illumination laser
Lapos;objectif de cette thèse sera dapos;étudier le potentiel des attaques par illumination laser pour extraire des secrets cryptographiques ou contourner un mécanisme de sécurité. En effet, les photocourants induis par lapos;illumination laser du silicium dapos;un circuit peuvent mener à la perturbation de celui-ci. Les cibles étudiées seront des System-on-Chip (SoC) du type de ceux utilisés...
-
Doctorat
Méthodes de passage transparent entre différents schémas de chiffrement homomorphe
Aujourdapos;hui, nous disposons de quatre cryptosystèmes FHE, à savoir TFHE, BFV/BGV et CKKS, qui sont en train de devenir une sorte de norme pour lapos;utilisation du FHE dans la pratique. Cependant, chacun de ces systèmes souffre de limitations qui lui sont propres. Certains permettent des calculs sur des textes clairs de grande taille, tandis que...
-
Stage
Apprentissage auto-supervisé de contenus visuels sous contraintes H/F
Techniquement, le stage relève de la vision par ordinateur, et plus précisément de la classification d’images pour le domaine du tourisme. En collaboration avec des ingénieurs chercheurs du CEA, il s’agira d’étudier la faisabilité de l’auto-supervision pour des modèles profonds frugaux en paramètres, d’entraîner de tels modèles et d’évaluer leur utilisation dans le cadre applicatif...
-
Doctorat
Impulsions magnétiques horizontales et impact du courant transitoire ultra-rapide sur la sécurité matérielle des SoCs
Des travaux menés au sein du CEA-Leti ont permis de montrer que les attaques physiques peuvent être une menace pour les mécanismes de sécurité des SoCs (System-On-Chip). En effet, les injections de fautes par perturbation électromagnétique (EM) ont déjà conduit à une élévation de privilèges en sapos;authentifiant avec un mot de passe illégitime, ou plus...
-
Stage
Text-based cybersecurity attacks classification H/F
Technically, the internship involves the fields of machine learning (ML) and natural language processing (NLP), and more specifically natural language generation (NLG) and classification techniques. In collaboration with CEA research engineers, the aim will be to train classification models capable of recognizing different types of text-based cyber attacks and distinguishing text-based attacks authored by humans...
-
Doctorat
Imageur de confiance : sécurisation intégrée par signatures physiquement uniques
Notre laboratoire de 15 personnes travaille sur les capteurs d’images intelligents. Pour répondre aux besoins en innovation à très forte valeur ajoutée de nos partenaires industriels, l’équipe développe des solutions sur l’ensemble de la chaîne de l’image: de l’acquisition au traitement et à l’analyse d’images, de la conception des pixels au développement d’algorithmes d’intelligence artificielle....
-
Doctorat
Attaques par rayons X de circuits intégrés en technologie avancée
Le laboratoire CESTI situé à Grenoble est responsable de l’évaluation de sécurité de produits (commerciaux ou prototypes). Dans le cadre de ces évaluations de nombreux tests peuvent être exécutés dont ceux visant à observer le comportement de la cible lors d’injection de fautes dans les circuits intégrés. L’injection de faute consiste à perturber le système...
-
Doctorat
Traitement du signal en cybersécurité : développement d’outils fréquentiels pour les attaques par observation et application à la biométrie vocale
La cryptographie embarquée sur les cartes à puce peut être vulnérable à des attaques par observation, basées sur l’interprétation des informations récupérées pendant l’exécution de l’algorithme. Cette fuite d’information est en général mesurée au niveau matériel sous la forme d’un signal de consommation de courant ou de rayonnement électromagnétique. Actuellement les méthodes pour exploiter ces...
-
Doctorat
Analyses statiques avancées basées sur les types pour la vérification de systèmes d'exploitations
Dans des travaux récents [RTAS 2021], nous avons démontré l'intérêt d'une analyse statique guidée par un système de types dépendants avancé pour analyses des programmes systèmes bas-niveau, allant jusqu'à pouvoir vérifier automatiquement l'absence d’escalade de privilège dans un noyau de système d'exploitation embarqué comme conséquence de la type-safety du code du noyau. La gestion de...
-
CDD
Ingénieur chercheur en Cyber Sécurité des Systèmes embarqués H/F
La mission se déroulera au LTSO (Laboratoire de tests de Sécurité et outils) au sein d’une équipe d’experts et de chercheurs en sécurité des systèmes embarqués en charge de concevoir et mener des recherches avancées sur les tests d’intrusion des systèmes électroniques embarqués Le laboratoire est équipé d’un large éventail d’outils qui permettent de couvrir des...
-
CDD
Ingénieur chercheur en Cyber Sécurité pour téléphone mobile H/F
La mission se déroulera au LTSO (Laboratoire de tests de Sécurité et outils) au sein d’une équipe d’experts et de chercheurs en sécurité des systèmes embarqués en charge de concevoir et mener des recherches avancées sur les tests d’intrusion des systèmes électroniques embarqués Le laboratoire est équipé d’un large éventail d’outils qui permettent de couvrir des...
-
Doctorat
Sécurité des angles morts du Machine Learning: modéliser et sécuriser le cycle de vie des systèmes complexes dapos;IA
Dans le contexte actuel de régulation de lapos;Intelligence Artificielle, plusieurs recommandations ont été proposées pour renforcer la quot;cyber-sécurité de lapos;IAquot; et plus particulièrement pour améliorer la sécurité des systèmes basés sur lapos;IA et pas uniquement les quot;modèlesquot;. Cette sécurité au niveau quot;systèmequot; est primordiale alors que nous connaissons un déploiement des modèles à très large...
-
Doctorat
Cas d'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...
-
CDD
Ingénieur de recherche en MBSE pour les architectures de Large-Scale Quantum computers H/F
Pour obtenir de meilleurs processeurs quantiques, il est nécessaire de développer les technologies, logicielles comme matérielles, qui permettent leur passage à l’échelle (Large Scale Quantum computer), en augmentant sensiblement le nombre et la qualité des qubits et en y intégrant les mécanismes de contrôle d’erreur. Pour aider le travail des architectes systèmes dans le développement...
-
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...
-
CDD
CDD - Ingénieur(e) filière microélectronique H/F
Dans le cadre de vos missions, vous contribuez à projet industriel ambitieux en lien avec un grand groupe international qui vise à mettre au point un nouveau type de capacités intégrées en 3D sur silicium 200mm et cible en particulier le marché des dispositifs électroniques nomades, médicaux et pour l’automobile. Intégré(e) au sein d'une équipe projet...
-
CDD
Ingénieur chercheur en conception circuits intégrés RF et millimétriques H/F
POURQUOI NOUS REJOINDRE ? Les enjeux majeurs des systèmes de communication sans fil / RF de dernière génération concernent l’intégration de fonctions nécessaires sur un système le plus compact possible, la montée en débit des communications radio par l’utilisation de bandes de fréquence de plus en plus hautes (7-15GHz, 28/40 GHz, 60/140 GHz), l’augmentation des...
-
CDD
Ingénieur développement embarqué pour la Sécurité des Systèmes électroniques connectés H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Pour contribuer au transfert industriel d’innovations pour des applications dans le domaine de l’industrie, de l’aéronautique, de la bio production, du sport ou encore de l’agriculture et de la préservation des ressources, en réalisant des cartes électroniques et de la programmation pour des systèmes embarqués. Vos missions : L’objectif...
-
CDD
Evaluateur en analyse de code cryptographique H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Le CESTI Leti recherche un spécialiste en cryptologie pour analyser du code embarqué dans des composants électroniques. Vos missions : - 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 (code source) d'une fonction de sécurité (génération d'aléas, algorithmes cryptographiques, chiffrement...
-
CDD
Evaluateur de tests sécuritaires de systèmes embarqués H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Le poste évaluateur(trice) consiste à effectuer des tests d’intrusion (pentesteur), sur des composants et des systèmes embarqués principalement par des interfaces et protocoles de communication externes ou inter-composants. Fort(e) de votre curiosité et de votre imagination pour challenger un composant sécurisé, vous effectuerez des tests de pénétration en développant...
-
CDD
Ingénieur Sécurité des Systèmes Embarqués H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Votre mission se déroulera dans le laboratoire CESTI (Centre d’Évaluation de la Sécurité des Technologies de l’Information) à Grenoble en collaboration avec le CEA DAM LEDM (Laboratoire Énergie Dirigée Micro-onde) à Gramat sur une période de 36 mois. L’objectif de la collaboration est la mise en place d’une expertise...
-
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...
-
Alternance
Alternance ingénieur - 36 mois - Grenoble - Fabrication de composants microélectroniques H/F
Cadre et contexte : Le Leti, institut de recherche technologique de Cea Tech, a pour mission d'innover et de transférer les innovations à l'industrie. Son cœur de métier réside dans les technologies de la microélectronique, de miniaturisation des composants, d'intégration système, et d'architecture de circuits intégrés, à la base de l'internet des objets, de l'intelligence...
-
CDD
Ingénieur Conception RFIC H/F
Ce poste d'ingénieur en Conception RFIC vise à renforcer notre équipe dans le développement de circuits à forte efficacité énergétique pour des applications de puissance RF. Au sein d'une équipe travaillant au développement de solutions innovantes de PA intégrés, vous participerez à la conception, à l'implémentation et à la caractérisation de circuits intégrés et de...
-
CDD
Ingénieur·e de recherche extraction d'information et data science H/F
Le LASTI vous invite à rejoindre son équipe pour prendre part à des projets de recherche et développement dans des domaines comme le manufacturing, la santé…. Dans le domaine de la santé, parmi les objectifs des projets en cours nous pouvons citer : le développement d’une méthodologie outillée pour la conception et le déploiement de « jumeaux numériques...
-
CDD
Ingénieur Chercheur en Vision et Deep Learning - 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 Chercheur en Vision et Deep Learning pour la CEA/DRT (Direction de la Recherche...
-
Doctorat
Implémentation sécurisée matérielle/logicielle de la cryptographie post-quantique sur des plateformes RISC-V
Les algorithmes de cryptographie à clé publique traditionnels seront considérés comme obsolètes lorsquapos;un ordinateur quantique à grande échelle sera réalisé avec succès. En conséquence, le National Institute of Standards and Technology (NIST) aux États-Unis a lancé une initiative pour développer et standardiser de nouveaux algorithmes de cryptographie post-quantique (PQC), dans le but de remplacer les...
-
Alternance
Innovation en compilation et optimisation de code H/F
Le laboratoire LFIM du CEA conçoit des architectures de calcul innovant et leurs outils logiciels associés. Par exemple le circuit de calcul en mémoire C-SRAM et le compilateur HybroGen permettant de l'utiliser. HybroGen est un compilateur expérimental développé en interne permettant de réaliser des expérimentations sur des ordinateurs classiques ainsi que sur des ordinateurs avec...
-
Alternance
Alternance élève ingénieur développement logiciel proche matériel H/F
Au sein du laboratoire LSTA (Laboratoire Systèmes sur Puces et Technologies Avancées) nous proposons une alternance pour travailler sur des sujets de développements logiciels principalement proche matériel. Les thématiques de travail du laboratoire touchent à l'informatique quantique, au calcul haute performance (High Performance Computing), au développement de nouvelles architectures matérielles pour l'embarqué. Les tâches prises...
-
Alternance
Alternant − outils logiciels pour la cybersécurité des systèmes embarqués H/F
Le CEA Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche. Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions : la défense et la sécurité, l'énergie nucléaire (fission et fusion), la recherche technologique pour l'industrie, la...