Jobs
All our offers
-
Permanent contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
phD
Artful guidance of test generation tools
Fuzzing is an automatic test generation technique. It consists in repeatedly executing a program with automatically generated inputs, in order to trigger crashes, symptoms of underlying bugs in the code, which can then be fixed. A major challenge in this area is moving from indiscriminate exploration of how programs work to artful guidance towards the...
-
phD
Scenario-Based Testing for Automated Systems: Enhancing Safety and Reliability in Compliance with Regulations and Standards
This research aims to investigate the effectiveness of scenario-based testing as a comprehensive and robust approach for evaluating ASsapos; performance while enhancing their safety and reliability with respect to regulations and standards. The primary objective of this thesis will be to investigate the benefits of scenario-based testing for automated systems and its compliance with regulations...
-
Fixed term contract
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...
-
phD
Proof of functional equivalence of binary codes in the context of embedded program hardening
The general context of this thesis is the cyber-security of embedded systems. The research background of this thesis is tied to the automatic application of counter-measures against the so-called physical attacks, which encompass observation attacks (side-channel attacks) and perturbation attacks (fault-injection attacks). The CEA List is working on COGITO, a compiler toolchain based on LLVM...
-
phD
Combining over and under-approximations for low-level code analysis
Because program analysis is an undecidable problem, static analyzes fall into 2 categories: - Sound analyses, which calculate an over-approximation of all the programapos;s behaviors, and make it possible to verify the absence of errors. - Complete analyses, which calculate an under-approximation of the possible behaviors of the program, and allow errors to be found....
-
PostDoc
Application of formal methods for interferences management
Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.
-
phD
Advancing image sensor security: using deep learning for simultaneous robust and fragile watermarking
This PhD project aims at advancing the field of image sensor security through a comprehensive exploration of recent deep learning techniques applied to both robust and fragile invisible watermarking. In the specific context of embedded image rendering pipelines, this study aims to address the dual challenges of ensuring resistance against intentional attacks to break the...
-
phD
Design and Analysis of Side-Channel Feedback for Vulnerability Discovery
Fuzzing is a dynamic testing technique that enables vulnerabilities to be discovered very efficiently. Hundreds or even thousands of vulnerabilities are detected (and repaired) every year in the software we use. When we try to transpose the fuzzing approach to embedded systems, we are faced with a number of problems: the source code is not...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
Research Engineer - Automated Synthesis of Processor Micro-Architectures for Hardware Security H/F
Join our dynamic multidisciplinary technological research team focused on hardware security and SW/HW analyses through formal methods. Contribute to a national collaborative research project aiming to automate the synthesis of processor micro-architectures, specifically targeting embedded RISC-V processors. Main Missions • Participate in the specification and development of an approach...
-
phD
Security-by-design for embedded deep neural network models on RISC-V
With a strong context of regulation of Artificial Intelligence (AI) at the European scale, several requirements have been proposed for the quot;cybersecurity of AIquot;. Among the most important concepts related to the security of the machine learning models and the AI-based systems, quot;security-by-designquot; is mostly linked to model hardening approaches (e.g., adversarial training against evasion...
-
phD
Design of Approximate Digital Circuits on Advanced Semiconductor Technologies
In the era of booming digitalization, our reliance on energy-hungry digital systems continues to surge. This voracious development, coupled with the threat of global warming, necessitates innovative solutions. Approximate Computing (AxC) is a design technique offering an attractive trade-off between computation errors and substantial energy reduction. This PhD proposal aims to push AxC to new...
-
phD
Formalization and Analysis of Countermeasures Against Fault Injection Attacks on Open-source Processors
Join our dynamic research team at CEA-List within the DSCIN division for a PhD opportunity in the field of hardware security and formal analysis of processor micro-architectures. The focus of this research is the formalization and analysis of countermeasures against fault injection attacks on open-source processors. Operating at the cutting edge of cyber-security for embedded...
-
phD
Laser fault injection exploration on System-on-Chip
The goal of this PhD subject is to study the capabilities of laser fault injection to extract cryptographic secret or to by-pass security mechanisms. This study will focus on System-on-Chip targets. First, the PhD student will explore new methods to optimize laser fault injection on System-on-Chip. The next topic that will be addressed by the...
-
phD
Seamless FHE swithching over algorithm partitions
Nowadays, we have four FHE cryptosystems, namely TFHE, BFV/BGV and CKKS, which are becoming a kind of standards for FHE use in practice. However, each of these schemes suffer from some kind of limitations of their own. Some allow for computations over large plaintexts, while some allow for unbounded number of operations. In some schemes...
-
Internship
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...
-
phD
Horizontal Magnetic Pulses and the Impact of Ultrafast Transient Current on Hardware Security of SoCs
Work carried out within the CEA-Leti has shown that physical attacks can be a threat to the security mechanisms of SoCs (System-On-Chips). Indeed, fault injections by electromagnetic disturbance have already led to an elevation of privileges by authenticating with an illegitimate password, or more recently have made it possible to circumvent one of the highest...
-
Internship
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...
-
phD
Trusted imager: integrated security based on physically unclonable functions
Images, and therefore the sensors that generate them, must respond to the challenges posed by their illicit use, either to divert their content through deep fakes, or for unauthorized access. The concept of trusted imagers responds to the need to ensure the security, authentication or encryption of images as soon as they are acquired. Based...
-
phD
X-ray attacks of advanced technology integrated circuits
The CESTI laboratory in Grenoble is responsible for the safety evaluation of products (commercial or prototype). or prototypes). A wide range of tests can be carried out as part of these evaluations, including those designed to observe the target's behavior when faults are injected into integrated circuits. Fault injection consists of perturbing the system by...
-
phD
Signal processing in cybersecurity: development of frequency tools for side-channel attacks and application to voice biometrics
Embedded cryptography on smartcards can be vulnerable to side-channel attacks, based on the interpretation of the information retrieved during the execution of the algorithm. This information leak is generally measured at the hardware level thanks to a consumption signal or electromagnetic radiation. Many methods, based mainly on statistical tools, exist to exploit these signals and...
-
phD
Advanced type-based static analysis for operating system verification
In recent work [RTAS 2021], we have demonstrated the value of static analysis guided by an advanced dependent type system for the analysis of low-level system programs, going so far as to be able to automatically verify the absence of privilege escalation in an embedded operating system kernel as a consequence of the type-safety of...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
phD
Security blind spots in Machine Learning systems: modeling and securing complex ML pipeline and lifecycle
With a strong context of regulation of AI at the European scale, several requirements have been proposed for the quot;cybersecurity of AIquot; and more particularly to increase the security of AI systems and not only the core ML models. This is important especially as we are experience an impressive development of large models that are...
-
phD
Dynamic Assurance Cases for Autonomous Adaptive Systems
Providing assurances that autonomous systems will operate in a safe and secure manner is a prerequisite for their deployment in mission-critical and safety-critical application domains. Typically, assurances are provided in the form of assurance cases, which are auditable and reasoned arguments that a high-level claim (usually concerning safety or other critical properties) is satisfied given...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
Work-study contract
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...
-
Fixed term contract
RFIC Design Engineer
This RFIC Design Engineer position aims to strengthen our team in the development of energy-efficient RF Front-End solutions. As part of a team working on the development of innovative energy-efficient integrated PA solutions, you will participate in the design, implementation and characterization of cutting-edge integrated circuits and modules. You must be scientifically rigorous, be able...
-
Fixed term contract
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...
-
Fixed term contract
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...
-
phD
Secure Hardware/Software Implementation of Post-Quantum Cryptography on RISC-V Platforms
Traditional public-key cryptography algorithms are considered broken when a large-scale quantum computer is successfully realized. Consequently, the National Institute of Standards and Technology (NIST) in the USA has launched an initiative to develop and standardize new Post-Quantum Cryptography (PQC) algorithms, aiming to replace established public-key mechanisms. However, the adoption of PQC algorithms in Internet of...
-
Work-study contract
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...
-
Work-study contract
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...
-
Work-study contract
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...