Jobs
All our offers
-
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...
-
PostDoc
Design of Ising Machines based on a network of spintronics oscillators copled through CMOS circuitry
Our information and communication society is asking for always more computing tasks of increasing complexity. Their energy bargain increases quickly so that it is mandatory to find new architecture of computing processors with improved energy efficiency. The post doc applicant will contribute to the design of Ising machines which are computing architectures inspired from biology...
-
Fixed term contract
Administrateur système sur calculateur Péta flopique H/F
Le CEA-List recherche pour son équipe, un(e) Administrateur(trice) systèmes sur calculateur Pétaflopique (F/H). Vous serez intégré(e) à une équipe de deux personnes (environnement HPC et HPDA) et serez chargé(e) de : - Contribuer à la veille technologique - Mettre en place les outils d’écoute des remontées système et d’intervenir selon la criticité (administration de systèmes...
-
phD
Quantum device integration on Ge/SiGe heterostructures
Spin qubits in semiconductors quantum dots offer a fast scaling perspective of quantum processors by leveraging the manufacturing techniques of the microelectronics industry. To explore this approach, industrial research teams implemented qubits directly on their existing routes (e.g. FDSOI at CEA-Leti or FinFET at Intel). However, these devices suffer from an important electrostatic disorder stemming...
-
Fixed term contract
Designer of supervision architectures dedicated to distributed systems - CDD - Paris-Saclay W/M
Join CEA to Add Meaning to Your Work, Lead and Support National and International R&D Projects, Nurture and Ignite Your Curiosity. IN SUMMARY, WHAT DO WE OFFER YOU? Runtime Verification (RV) is at the crossroads of formal verification and monitoring. It consists in analyzing system executions, as observed by means of a monitoring architecture,...
-
PostDoc
Modeling of charge noise in spin qubits
Thanks to strong partnerships between several research institutes, Grenoble is a pioneer in the development of future technologies based on spin qubits using manufacturing processes identical to those used in the silicon microelectronics industry. The spin of a qubit is often manipulated with alternating electrical (AC) signals through various spin-orbit coupling (SOC) mechanisms that couple...
-
Fixed term contract
Ingénieur Développement H/F
Dans le cadre d’un programme d’essaimage de cette technologie mettant en oeuvre le chiffrement homomorphe, le laboratoire recherche un collaborateur pour aider à l’industrialisation de cette technologie dans divers secteurs en vue de la création d’une startup qui commercialisera cette technologie. Le candidat ou la candidate aura pour mission: 1) Participer à un travail d'équipe...
-
phD
Conditional generative model for dose calculation in radiotherapy
Particle propagation through matter by Monte Carlo method (MC) is known for its accuracy but is sometimes limited in its applications due to its cost in computing resources and time. This limitation is all the more important for dose calculation in radiotherapy since a specific configuration for each patient must be simulated, which hinders its...
-
Fixed term contract
GNSS System Engineer and Jamming / Spoofing Techniques H/F
As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute to a national research project dedicated to the development of a predictability toolbox. This toolbox aims to analyze the worst-case temporal behavior of microarchitectures associated with embedded RISC-V processors. These...
-
Fixed term contract
As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute to a national research project dedicated to the development of a predictability toolbox. This toolbox aims to analyze the worst-case temporal behavior of microarchitectures associated with embedded RISC-V processors. These microarchitectures are generated by a flow from a partner that automatically infers synthesizable Register Transfer Level (RTL) representations of processors from their Instruction Set Architecture (ISA). Your involvement in this project will facilitate the creation of a predictability toolbox that streamlines the exploration of design trade-offs, ultimately leading to the production of highly tailored RISC-V processors designed for Internet of Things (IoT) applications and embedded platforms used in safety-critical systems. A key aspect of predictability analysis involves assessing the worst-case execution time (WCET) of a processor by examining how a given binary code progresses through successive pipeline stages.Timing Anomalies (TAs) are execution phenomena known to hinder these analyses and must be supported. Your main responsibilities will include: Proposing and developing an approach to generate formal models of processor pipelines. This involves utilizing a cycle-accurate intermediate representation of pipelines incorporating their micro-architecture optimizations. While LECA has previously developed formal models of pipelines for TA detection within code, these models were manually created. Utilizing the formally generated models as part of a pipeline analysis in a static WCET analysis tool provided by a collaborative partner. Specifically, the outcomes of cache analyses will guide the identification of temporal variations to be considered in the detection of TAs within basic blocks of input code. Defining microarchitectural-level instructions to alleviate the presence of various types of TAs at basic-block boundaries. These instructions will play a crucial role in the exploration process of RISC-V embedded microarchitectures, particularly when targeting safety-critical systems. You are also expected to : Communicate about the work to the project partners, but also work directly with the French partners of the project; Participate in the scientific dissemination of the team's research results (contributions to publications in international conferences) and in the development of our innovations (writing of patents). To carry out your mission, you will benefit from a first class environment at CEA LIST with access to a large number of reference tools and a strong experience in the application of formal methods to the verification of properties such as temporal anomalies.
As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute to a national research project dedicated to the development of a predictability toolbox. This toolbox aims to analyze the worst-case temporal behavior of microarchitectures associated with embedded RISC-V processors. These...
-
phD
Partitioning of spin Qubits control electronics architecture: co-design of cryoCMOS and room-temperature hardware
Quantum algorithms capable of demonstrating a quantum advantage will require the use of quantum processors (QPU) with several thousands of qubits. The design of such a quantum computer is a multidisciplinary challenge at the heart of quantum engineering. Control electronics face particular constraints related to the cryogenic temperature at which qubits operate. Leveraging its expertise...
-
Fixed term contract
Ingénieur-Chercheur Sécurité des Composants H/F
Le poste se déroulera au LSCO (Laboratoire Sécurité des Composants) dont une thématique est la sécurisation des primitives cryptographiques dont la cryptographie post-quantique (PQC) et le chiffrement homomorphe (FHE) font parties. Le poste concerne l'implémentation de cryptosystèmes basés sur les réseaux euclidiens (FHE et PQC) et de l'analyse des fuites temporelles (time-based side-channel) sur des...
-
Internship
Stage/Internship : Towards a 3D real-time semantics-infused scene reconstruction H/F
Internship context: 3D reconstruction has historically been made in an explicit fashion, where 3D objects are either modeled by a point cloud, a mesh or voxels. These explicit representations involve sparse data that represent complex geometry. Recently, implicit representations have met with great success. Complex 3D scenes are implicitely represented by a function which outputs,...
-
Internship
Prise en compte des préférences dans la planification HTN : le cadre de la logique floue H/F
Rejoignez-nous en Stage ! CEA Tech Corporate from CEA Tech on Vimeo. En tant que stagiaire au CEA, 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 de...
-
Permanent contract
Ingénieur Filière Mémoires en Mission Longue Durée aux USA H/F
Vous serez détaché à Albany, dans l’Etat de New-York, USA. Votre rôle consistera à développer des dispositifs mémoire magnétiques (MTJ) et optimiser leurs performances dans le cadre d’une nouvelle collaboration entre le CEA et SunyPoly. Vous bénéficierez des moyens technologiques uniques de la salle blanche d’Albany (incluant EUV et équipements 300mm à l’état de l’art,...
-
PostDoc
LLMs hybridation for requirements engineering
Developing physical or digital systems is a complex process involving both technical and human challenges. The first step is to give shape to ideas by drafting specifications for the system to be. Usually written in natural language by business analysts, these documents are the cornerstones that bind all stakeholders together for the duration of the...
-
phD
Graph Neural Network-based power prediction of digital architectures
Performing power analysis is a major step during digital architecture development. This power analysis is needed as soon as the RTL (Register Transfer Level) coding starts, when the most rewarding changes can be made. As designs get larger, power analysis relies on longer simulation traces and becomes almost impossible, as the process generates huge simulation...
-
Fixed term contract
Ingénieur en développement logiciel H/F
[1] Benabid et al. “An exoskeleton controlled by an epidural wireless brain–machine interface in a tetraplegic patient: a proof-of-concept demonstration” The Lancet Neurology (2019) - https://doi.org/10.1016/S1474-4422(19)30321-7 [2] Lorach, H., Galvez, A., Spagnolo, V. et al. Walking naturally after spinal cord injury using a brain–spine interface. Nature 618, 126–133 (2023). https://doi.org/10.1038/s41586-023-06094-5 Pour soutenir ses développements technologiques dans les projets d’interface...
-
Fixed term contract
Analyste intelligence technologique – Electronique et systèmes numériques H/F
Vous aurez à interagir avec les chercheurs afin de bien comprendre leurs technologies et pouvoir éclairer le CEA sur les dynamiques et segmentations scientifiques et techniques à l’œuvre. Vous devrez identifier et caractériser les positionnements et stratégies d’acteurs, surveiller des domaines sensibles et conseiller les choix de coopération, d’investissement, de protection et de valorisation des...
-
phD
A formal framework for the specification and verification of distributed processes communication flows in clouds
Clouds are constituted of servers interconnected via the Internet, on which systems can be implemented, making use of applications and databases deployed on the servers. Cloud-based computing is gaining in popularity, and that includes the context of critical systems. As a result, it is useful to define formal frameworks for reasoning about cloud-based systems. One...
-
phD
Stabilizer-universal graph states for robust quantum networks and quantum error correction
The last years have seen notable advances in quantum technologies, consolidating the development of basic requirements for the deployment of future quantum networks. Such networks are essential to distributed quantum information applications, and may serve various purposes, e.g., enabling the transmission of quantum states between physically distant parties, or improving the computational capabilities of quantum...
-
phD
Modeling and Simulation of Human Behavior for Human-Centric Digital Twins
Thanks to synchronized virtual representation, digital twins are a means to produce analyses, predictions and optimizations of real-world systems. However, some of these systems tightly engage with humans so that the role of the latter is determining in the system’s operation. This is for example the case in contexts such as industry 5.0 or the...
-
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(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
Ingénieur Caractérisation Electrique et Fiabilité Cryo CMOS H/F
Le CEA Leti s’engage fortement dans le domaine de l’électronique refroidie pour le développement de l’ordinateur quantique à base de spin qubits en technologie CMOS mais aussi dans le cadre des applications spatiales et du calcul haute performance. Les challenges à relever sont multiples tant dans les procédés de fabrication que dans les tests des...
-
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...
-
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...
-
Work-study contract
Alternance - Technicien.ne intégration filière de composants de puissance en SiC
Contexte À Grenoble, le CEA-Leti innove dans les technologies microélectroniques pour répondre aux besoins émergents du véhicule électrique, de la santé connectée, de l'espace et de l'ordinateur quantique. En se concentrant sur des améliorations au niveau des matériaux, des composants et des systèmes, le CEA-Leti développe des solutions différenciantes en étroite collaboration avec ses partenaires...