Jobs
All our offers
-
PostDoc
X-ray tomography reconstruction based on analytical methods and Deep-Learning
CEA-LIST develops the CIVA software platform, a reference for the simulation of non-destructive testing processes. In particular, it proposes tools for X-ray and tomographic inspection, which allow, for a given tomographic testing, to simulate all the radiographic projections (or sinogram) taking into account various associated physical phenomena, as well as the corresponding tomographic reconstruction. The...
-
PostDoc
High entropy alloys determination (predictive thermodynamics and Machine learning) and their fast elaboration by Spark Plasma Sintering
The proposed work aims to create an integrated system combining a computational thermodynamic algorithm (CALPHAD-type (calculation of phase diagrams)) with a multi-objective algorithm (genetic, Gaussian or other) together with data mining techniques in order to select and optimize compositions of High entropy alloys in a 6-element system: Fe-Ni-Co-Cr-Al-Mo. Associated with computational methods, fast fabrication and...
-
PostDoc
Development of Algorithms for the Detection and Quantification of Biomarkers from Voltammograms
The objective of the post-doctoral research is to develop a high-performance algorithmic and software solution for the detection and quantification of biomarkers of interest from voltammograms. These voltammograms are one-dimensional signals obtained from innovative electrochemical sensors. The study will be carried out in close collaboration with another laboratory at CEA-LIST, the LIST/DIN/SIMRI/LCIM, which will provide...
-
PostDoc
Development of noise-based artifical intellgence approaches
Current approaches to AI are largely based on extensive vector-matrix multiplication. In this postdoctoral project we would like to pose the question, what comes next? Specifically we would like to study whether (stochastic) noise could be the computational primitive that the a new generation of AI is built upon. This question will be answered in...
-
PostDoc
Quantum dot auto-tuning assisted by physics-informed neural networks
Quantum computers hold great promise for advancing science, technology, and society by solving problems beyond classical computersapos; capabilities. One of the most promising quantum bit (qubit) technologies are spin qubits, based on quantum dots (QDs) that leverage the great maturity and scalability of semiconductor technologies. However, scaling up the number of spin qubits requires overcoming...
-
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
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...
-
phD
Adaptive and explainable Video Anomaly Detection
Video Anomaly Detection (VAD) aims to automatically identify unusual events in video that deviate from normal patterns. Existing methods often rely on One-Class or Weakly Supervised learning: the former uses only normal data for training, while the latter leverages video-level labels. Recent advances in Vision-Language Models (VLMs) and Large Language Models (LLMs) have improved both...
-
phD
Advancing Health Data Exploitation through Secure Collaborative Learning
Recently, deep learning has been successfully applied in numerous domains and is increasingly being integrated into healthcare and clinical research. The ability to combine diverse data sources such as genomics and imaging enhances medical decision-making. Access to large and heterogeneous datasets is essential for improving model quality and predictive accuracy. Federated learning is currently developed...
-
Internship
Orchestration et planification hiérarchique de LLMs pour la conception et la simulation de systèmes H/F
Le/la stagiaire développera un simulateur de systèmes complexes orchestré par un planificateur hiérarchique de type HTN (Hierarchical Task Network). Ce planificateur s’appuiera sur les connaissances du domaine et l’expertise métier pour structurer les tâches et sous-tâches, en intégrant un ensemble de préconditions et de contraintes guidant la décomposition hiérarchique. Les mécanismes du modèle HTN permettront...
-
Internship
Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F
The internship aims to enhance the existing tooled metodology called QuaRTOS-DSE by improving the formalization and the implementation of the existing methodology. The internship will address the exploration and the evaluation of complex critical SW architecture. Obtained SW architecture will be evaluated by a formal verification of extra functional system properties using existing tools. The...
-
phD
CORTEX: Container Orchestration for Real-Time, Embedded/edge, miXed-critical applications
This PhD proposal will develop a container orchestration scheme for real-time applications, deployed on a continuum of heterogeneous computing resources in the embedded-edge-cloud space, with a specific focus on applications that require real-time guarantees. Applications, from autonomous vehicles, environment monitoring, or industrial automation, applications traditionally require high predictability with real-time guarantees, but they increasingly ask...
-
phD
Physics-Informed Learning for Acoustic Inverse Problems: Field Reconstruction, Detection, and Detectability Analysis in Complex Environments
This PhD project aims to develop a mathematical and algorithmic framework for solving acoustic inverse problems in complex environments, based on physics-informed learning. By explicitly incorporating the wave equation into artificial intelligence architectures, the objective is to improve acoustic field reconstruction from partial measurements, the localization of mobile sources, and the quantitative analysis of their...
-
phD
Architecture of small animal single photon emission tomograph.
Medical imaging, a source of major innovations, presents remarkable potential for meeting new challenges with the growing demand for precision medicine, which requires cutting-edge diagnostic and therapeutic approaches personalized for each patient. In this context, CEA-Leti proposes a PhD internship to develop a dedicated preclinical SPECT (Single Photon Emission Tomography) imager that will provide the...
-
phD
LLM-Assisted Generation of Functional and Formal Hardware Models
Modern hardware systems, such as RISC-V processors and hardware accelerators, rely on functional simulators and formal verification models to ensure correct, reliable, and secure operation. Today, these models are mostly developed manually from design specifications, which is time-consuming and increasingly difficult as hardware architectures become more complex. This PhD proposes to explore how Large Language...
-
phD
Out-of-Distribution Detection with Vision Foundation Models and Post-hoc Methods
The thesis focuses on improving the reliability of deep learning models, particularly in detecting out-of-distribution (OoD) samples, which are data points that differ from the training data and can lead to incorrect predictions. This is especially important in critical fields like healthcare and autonomous vehicles, where errors can have serious consequences. The research leverages vision...
-
phD
Prediction of elastic wave dispersion effects using a semi-analytical model under high-frequency approximation
Ultrasonic testing (UT) methods are a fundamental component of non-destructive testing (NDT). They are widely used to inspect mechanical components such as welds (in nuclear and petrochemical industries) and composite material structures (in aeronautics). To understand the physical phenomena involved in a given configuration, simulation is a valuable tool and sometimes an essential step in...
-
phD
Post-training neural architecture optimization for small language models
Generative AI, and particularly language models (LLM), have sparked a new revolution in AI with applications across all domains. However, LLMs are highly resource-intensive and, hence, difficult to implement on autonomous embedded systems. LLMs can be optimized by modifying their architecture to replace heavy Transformer layers with lighter alternatives. Given the difficulty of training LLM...
-
phD
Systemic validation of fuzzy rule bases: accounting for data availability and the specific characteristics of fuzzy inference
This PhD topic lies within the field of symbolic artificial intelligence. Unlike approaches based on neural networks, these methods rely on explicit rules, often provided by experts or learned from limited data, making them interpretable but potentially imperfect. The central problem is therefore the validation of fuzzy rule bases: the goal is to ensure that...
-
Fixed term contract
Thèse de doctorat: Génération assistée par LLM de modèles matériels fonctionnels et formels H/F
« 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 à pourvoir une offre de thèse. Ce poste est basé sur le site Nano-Innov de...