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
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
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
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
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(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
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 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...
-
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...
-
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...
-
Doctorat
Alimentation stochastique à partir de dispositifs émergents
Contexte: L’utilisation massive d’appareils connectés traitant d’informations sensibles requiert le développement de nouveaux systèmes de protection. L’attaque la plus courante, dite à canal latéral de puissance, consiste à récupérer des informations relatives aux clés de chiffrement en analysant la consommation du système à alimenter. La co-intégration du système avec son alimentation permettrait de masquer la...
-
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...
-
CDI
ingénieur chercheur en automatique et contrôle optimal pour électronique de puissance H/F H/F
Pour renforcer notre capacité d’innovation, nous recherchons un.e ingénieur.e en automatique pour l'optimisation des convertisseurs d'électronique de puissance. Vous avez pour mission principale de modéliser et définir les lois d’asservissement de systèmes de conversion et de gestion de l’énergie, les implémenter et les tester sur un banc HIL et/ou sur cible finale. Plus particulièrement, vous...
-
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...
-
CDD
Ingénieur instrumentation H/F
Usense est une MedTech développant des dispositifs médicaux innovants connectés, portables, permettant de faciliter l'accès au diagnostic médical pour les praticiens et leurs patients. En un clic, Usense permet de mesurer dans l'urine la majorité des paramètres habituellement analysés en laboratoire, pour détecter la présence de marqueurs facilitant le diagnostic précoce, le suivi de la...
-
CDD
Ingénieur en éco-innovation pour le reconditionnement des Systèmes électroniques H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? De nombreux dispositifs électroniques (smartphones, serveurs, ordinateurs, tablettes, IoT …) contiennent des données sensibles stockées sur des mémoires qui doivent être effacées pour permettre leur réemploi dans le cadre de l’économie circulaire. Les solutions d’effacement actuelles sont longues et ne permettent pas de garantir un effacement définitif à 100%....
-
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...
-
Post-doctorat
Contrats publics et privés pour ACSL
Frama-C est une plateforme collaborative de lapos;analyse de programmes écrits en C. Cette plateforme comprend un langage de spécification nommé ACSL basé sur la notion de contrat. Ces contrats, fournis via des annotations dans le code, permettent de spécifier ce que lapos;on attend des différentes fonctions dapos;un programme. Il est ensuite possible de vérifier que...
-
CDD
Ingénieur(e) FullStack H/F
Rattaché(e) à la plateforme COSY, vous travaillerez avec nos partenaires industriels et académiques dans le cadre de projets dédiés à la supervision de la sécurité. Il faudra en ce sens déployer des environnements de prototypage, d’évaluation de solutions numériques (cybersécurité, IHM, IA) permettant notamment les échanges entre les différents services proposés par les acteurs des...