Jobs
All our offers
-
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.
-
PostDoc
Design and Implementation of a Neural Network for Thermo-Mechanical Simulation in Additive Manufacturing
The WAAM (Wire Arc Additive Manufacturing) process is a metal additive manufacturing method that allows for the production of large parts with a high deposition rate. However, this process results in highly stressed and deformed parts, making it complex to predict their geometric and mechanical characteristics. Thermomechanical modeling is crucial for predicting these deformations, but...
-
PostDoc
High-performance computing using CMOS technology at cryogenic temperature
Advances in materials, transistor architectures, and lithography technologies have enabled exponential growth in the performance and energy efficiency of integrated circuits. New research directions, including operation at cryogenic temperatures, could lead to further progress. Cryogenic electronics, essential for manipulating qubits at very low temperatures, is rapidly developing. Processors operating at 4.2 K using 1.4 zJ...
-
Fixed term contract
THESE - Transmission de puissance via un lien acoustique pour les milieux métalliques clos H/F
Sujet de thèse : Ce sujet de thèse se positionne sur les thématiques de transmission de puissance et de données à travers des parois métalliques en utilisant les ondes acoustiques. Cette technologie permettra à terme l’alimentation, la lecture et la commande de systèmes placés dans des zones enfermées dans du métal: réservoirs sous pression, coques...
-
Fixed term contract
THESE - Reconstruction numérique d'une cuve pour l'amélioration de l'instrumentation de suivi H/F
Sujet de thèse : Les cuves industrielles sont au cœur de nombreux procédés dans les industries biomédicales, agroalimentaires, industrielles et énergétiques, où elles assurent des fonctions cruciales telles que le mélange, le stockage et la transformation de fluides. Pour garantir une efficacité maximale des opérations et un contrôle rigoureux des processus, il est indispensable de...
-
Fixed term contract
Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau 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 et...
-
PostDoc
Modeling and integrating Local-First Data Types
Existing modeling frameworks have limited collaboration capabilities. Collaboration at model level is one of the top desired features as identified in the literature. However, most port of solutions primarily rely on cloud-based and centralized databases as their technological solution. While these solutions ease collaboration among connected partners by employing concurrency control techniques or adopting a...
-
Fixed term contract
Des LLM pour optimiser la conception en électronique radiofréquence et microélectronique H/F
Le Poste : L'objectif de l'expérimentation est de déployer des outils d'IA générative et d'évaluer leurs apports sur plusieurs cas d'utilisation déjà identifiés. Cette évaluation nécessite d'exploiter des modèles d'IA générative, en particulier de type Large Langage Model (LLM), pour assister les équipes de concepteurs dans leurs activités quotidiennes. Ce poste se focalise tout particulièrement...
-
Internship
STAGE M2 VERIFICATION PROTOCOLES
Rejoignez-nous en stage ! En tant que stagiaire au CEA-LETI (Institut de recherche technologique de CEA Tech), vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionnés et dédiés, offrant un cadre propice à l'apprentissage et à la collaboration. Vous aurez accès à des équipements...
-
Internship
Développement d’un émulateur analogique de MEMS à base de modèles numériques H/F
Le stage débutera par une analyse du besoin, des différents modèles à émuler et un état de l’art de l’existant dans le domaine de l’émulation analogique, et une éventuelle mise à niveau en compétence LabView. Dans un second temps, on cherchera à mettre en œuvre le principe de base envisagé en s’appuyant sur l’utilisation de...
-
Internship
Stage en cryptologie H/F
Le chiffrement homomorphe (FHE - Fully Homomorphic Encryption) est une technique cryptographique relativement récente permettant d'effectuer des calculs directement sur des données chiffrées. Ceci permet à des utilisateurs d’envoyer des données à un serveur distant (« cloud ») capable de les manipuler sans les connaître. Un des premiers cas d'usage naturels de cette technique consiste...
-
Internship
Jumeau numérique interactif et collaboratif de poste de montage industriel en réalité virtuelle H/F
Le but du stage sera de mettre en place le jumeau numérique d’une procédure d’assemblage collaborative assistée par un engin de levage de type pont roulant ou grue pivotante. Les utilisateurs pourront contrôler l’engin de levage et réaliser des assemblages mécaniques via un casque de réalité virtuelle ou de réalité mixte (type Vive Focus 3,...
-
Internship
Attaques de systèmes embarqués par analyses photoniques
Rejoignez-nous en stage ! En tant que stagiaire au CEA-LETI (Institut de recherche technologique de CEA Tech), vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionnés et dédiés, offrant un cadre propice à l'apprentissage et à la collaboration. Vous aurez accès à des équipements...
-
Internship
Stage - Utilisation des modèles de langages pour l'automatisation de tests sécuritaires.
Description du poste : Face au large déploiement des systèmes connectés, la sécurisation de ces dispositifs est un enjeu majeur pour la société. La recherche de vulnérabilités à pour but de révéler des problèmes de sécurité dans un système avant des personnes malintentionnées. De nombreux outils et méthodes existent pour automatiser en partie ce processus...
-
Internship
Stage - Prédistorsion d'amplificateurs radiofréquence H/F
Rejoignez-nous en stage ! En tant que stagiaire au CEA-LETI (Institut de recherche technologique de CEA Tech), vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionnés et dédiés, offrant un cadre propice à l'apprentissage et à la collaboration. Vous aurez accès à des équipements...
-
phD
Physical-attack-assisted cryptanalysis for error-correcting code-based schemes
The security assessment of post-quantum cryptography, from the perspective of physical attacks, has been extensively studied in the literature, particularly with regard to the ML-KEM and ML-DSA standards, which are based on Euclidean lattices. Furthermore, in March 2025, the HQC scheme, based on error-correcting codes, was standardized as an alternative key encapsulation mechanism to ML-KEM....
-
phD
Electron beam probing of integrated circuits
The security of numerical systems relies on cryptographic chains of trust starting from the hardware up to end-user applications. The root of chain of trust is called a “root of trust” and takes the form a dedicated Integrated Circuit (IC), which stores and manipulates secrets. Thanks to countermeasures, those secrets are kept safe from extraction...
-
phD
Implementation of TFHE on RISC-V based embedded systems
Fully Homomorphic Encryption (FHE) is a technology that allows computations to be performed directly on encrypted data, meaning that we can process information without ever knowing its actual content. For example, it could enable online searches where the server never sees what you are looking for, or AI inference tasks on private data that remain...
-
Internship
Optimization of a Keccak Hardware Accelerator Protected against Side-Channel Attacks H/F
The objective of this internship is to optimize a first-order masked Keccak accelerator implementing Domain Oriented Masking (DOM) for protection against side-channel attacks. The work focuses on reducing both the hardware area and the amount of randomness required by the countermeasure, without compromising security. Starting from the existing masked SHA-3 accelerator developed at CEA [1],...
-
Internship
Backdoor Attack Scalability and Defense Evaluation in Large Language Models H/F
Context: Large Language Models (LLMs) deployed in safety-critical domains face significant threats from backdoor attacks. Recent empirical evidence contradicts previous assumptions about attack scalability: poisoning attacks remain effective regardless of model or dataset size, requiring as few as 250 poisoned documents to compromise models from up to 13B parameters. This suggests data poisoning becomes easier,...
-
Internship
Stage - Implementation of a secure link using PHYSEC based on SDR H/F
The first task will be to develop, on top of existing work, a Matlab/Python model of a secure transmission chain, including channel coding and modulation. The waveform and security aspects will come from ongoing research conducted by a Ph.D. student. The candidate’s role will be to implement these concepts and all related components for transmission,...
-
Internship
Internship - Secret quorums protecting byzantine reliable broadcast against adaptive adversaries H/F
Context: Modern distributed systems, such as blockchain consensus and secure multiparty computation protocols, relies on a fundamental primitive: byzantine reliable broadcast. It allows a set of processes to agree on a message broadcasted by a dedicated process, even when some of them are malicious (byzantine). It relies on quorum systems to prevent correct processes from delivering two...
-
Fixed term contract
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...
-
Internship
STAGE Ingénieur(e) cybersécurité H/F
Nous rejoindre, pour quoi faire ? Le stage se focalisera sur le développement et le déploiement d’une plateforme de déception (modulaire, réaliste, discrète et furtive) pour attirer, observer et analyser des comportements malveillants. La première phase du stage consistera à étudier l’architecture logicielle existante, permettant notamment pour tester ses fonctionnalités et évaluer ses critères de...
EN 
FR 