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.
-
Fixed term contract
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...
-
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...
-
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
Thèse (PhD) : Vulnérabilités des modèles d'IA génératives multimodaux H/F
Bien que l'intelligence artificielle générative excelle dans la création de contenus originaux (comme du texte, image ou code), elle fait face à plusieurs limitations. Les données utilisées pour entrainer les modèles de fondation sur lesquelles s'appuie l'IA générative peuvent être périmées depuis des semaines, des mois, voire des années. De plus, dans un chatbot d'entreprise,...
-
Fixed term contract
Research Engineer in optimization and Design Space Exploration for Next-Generation Computing Systems H/F
IN SUMMARY, WHAT DO WE OFFER YOU? We are looking for an Research Engineer in optimization and Design Space Exploration for Next-Generation Computing Systems. This position in fixed-term contact is based at Nano-Innov (CEA Paris-Saclay), Essonne (91). This position is available as soon as possible. Context Modern computing systems ranging from high-performance computing (HPC) to embedded...
-
Fixed term contract
Post-doctorat en deep-learning et soutenabilité F/H
"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)-chercheur(se) en apprentissage profond pour applications soutenables. Ce poste de cadre en CDD/post-doctorat est basé sur...
-
Permanent contract
Ingénieur-Chercheur Evaluateur Conformité & SCA H/F
Le laboratoire CESTI est missionné par l’ANSSI (Agence Nationale de la Sécurité des Systèmes d'Information) pour l'évaluation sécuritaire de produits électroniques. Composé actuellement d’environ 30 personnes, évaluateurs en sécurité des TIC de très haut niveau technique, il met en œuvre des bancs de test et techniques d’évaluation à l'état de l'art. Le CESTI Leti 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...
-
PostDoc
Secure Implementations of Code-Based Post-Quantum Cryptography: Software-Hardware Co-Design and Side-Channel Resistance
Quantum computing threatens traditional cryptographic schemes like RSA and ECC, prompting the need for post-quantum cryptography (PQC). NIST’s standardization process selected algorithms like HQC, a code-based Key Encapsulation Mechanism. Efficient and secure implementation of these algorithms, especially in resource-constrained environments such as IoT and embedded systems, remains a challenge. Physical attacks, particularly side-channel and fault...
-
Internship
Attaques par empoisonnement contre des LLMs en Federated Learning H/F
Votre Stage : Les Large Language Models (LLM) sont aujourd’hui omniprésents dans de nombreuses applications dont certaines critiques (e.g., génération de codes). Leur utilisation repose le plus souvent sur l’adaptation d’un modèle pré-entrainé (fine-tuning) sur une tâche spécifique (downstream task). Un paradigme d’apprentissage distribué comme le Federated Learning (FL) apparait comme une solution très prometteuse...
-
Internship
Sécurisation d'un agent de détection et de réponse pour les systèmes embarqués H/F
Votre Stage : Un Endpoint Detection and Response (EDR) permet de surveiller l'activité d'un ensemble d'appareils afin d'y détecter l'exécution d'actions malveillantes et ainsi lever une alerte en cas d'activité suspecte. Un agent est déployé sur chacun des dispositifs à protéger, à la manière d'un antivirus, mais ils deviennent alors des cibles privilégiées pour des...
EN 
FR 