Emplois
Toutes nos offres
-
Post-doctorat
Conception de Machines d'Ising basées sur des réseaux d'oscillateurs spintroniques couplés par circuits CMOS
Le nombre et la complexité des tâches de calculs nécessaires au développement de nos sociétés basées sur l’information et la communication sont de plus en plus importants et pose un problème prégnant en besoin énergétique. Il est ainsi indispensable de proposer de nouvelles architectures matérielles de calculateurs permettant d’améliorer drastiquement leur efficacité énergétique. Le postdoc...
-
Post-doctorat
Modélisation du bruit de charge dans les qubits de spin
Grace à de forts partenariats entre plusieurs instituts de recherche, Grenoble est pionnière dans le développement de futurs technologies à base de qubits de spin utilisant des procédés de fabrication identiques à ceux utilisés dans l’industrie de la microélectronique silicium. Le spin d’un qubit est souvent manipulé avec des signaux électriques alternatifs (AC) grâce à...
-
CDD
Ingénieur Système GNSS et Techniques de brouillage/usurpation d'identité H/F
Autrefois cantonnés à des applications très spécifiques, les systèmes de navigation par satellite, également appelés GNSS (Global Navigation Satellite Systems), sont désormais très répandus et se retrouvent dans de nombreux appareils, y compris certains systèmes sensibles comme les véhicules autonomes et les applications militaires. Parallèlement à l'expansion rapide de cette technologie, la fréquence et la...
-
Stage
Modélisation Probabiliste de l'Opérateur Humain pour la Simulation et l'Analyse de Risques. H/F
Le stagiaire devra établir un état de l’art sur les algèbres de processus probabilisées et faire des propositions pour enrichir le langage et sa sémantique. Cette approche devra notamment permettre d’évaluer le risque d’atteindre des états considérés comme non souhaitables car pouvant affecter le fonctionnement ou l’intégrité de l’installation industrielle.
-
Post-doctorat
Hybridation de LLMs pour l’ingénierie des exigences
Le développement de systèmes physique ou numériques est un processus complexe mêlant des défis techniques et humains. La première étape consiste à donner corps aux idées en rédigeant des spécifications ou un cahier des charges du système en devenir. Généralement écrits en langage naturel par des analystes fonctionnels (business analysts), ces documents sont des pièces...
-
Post-doctorat
Développements de systèmes optoélectroniques pour les technologies de capteurs quantiques
Le Laboratoire Autonomie et Intégration de Capteurs (LAIC) du CEA LETI a pour principales missions le développement de systèmes de capteurs, et en particulier de capteurs quantiques pour des applications de mesures hautes précisions de champs magnétiques. Les activités de l’équipe sont à l’interface du hardware (électronique, optronique, semi-conducteurs), du software (intelligence artificielle, traitement du...
-
Post-doctorat
Simulation du transport thermique à des températures sub-Kelvin
La gestion thermique dans les ordinateurs quantiques est une tâche urgente et cruciale. Alors que le nombre de qubits augmente rapidement, davantage de circuits électriques sont placés près des qubits pour les faire fonctionner. Le chauffage par effet Joule de ces circuits pourrait considérablement réchauffer le dispositif de qubit, dégradant ainsi sa fidélité. Avec une...
-
CDD
Post-doctoral researcher specializing in the application of formal methods for timing estimations 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...
-
CDD
Post Doc - Traitement de signal pour capteur RF quantique H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Dans le cadre du développement des technologies quantiques, le (la) candidat(e) sera responsable de l'étude, de la modélisation, du dimensionnement et de la caractérisation de systèmes de détection d'ondes radiofréquences basés sur des récepteurs de nouvelle génération reposant sur la physique quantique. Les travaux porteront sur la modélisation des...
-
CDD
Ingénieur(e) FullStack H/F
Rattaché(e) à la plateforme COSY, vous travaillerez avec nos partenaires académiques dans le cadre d’un projet facilitant les interactions entre l’humain et des IA pour la détection et la classification d’attaques cyber. Il faudra en ce sens proposer de nouvelles interfaces de visualisation et d’interaction en environnement 3D qui doivent être intuitives et conviviales afin...
-
Doctorat
Imagerie ultrasonore 3D par adressage orthogonal du réseau de sonde matricielle pour le CND par ultrasons
Le travail de thèse s’inscrit dans le cadre des activités du Département Instrumentation Numérique (DIN) dans le domaine du Contrôle Non-Destructif (CND), et vise à concevoir une nouvelle méthode d’imagerie ultrasonore 3D rapide à l’aide de sondes multi-éléments matricielles. L’ambition sera de produire des images échographiques en trois dimensions du volume interne d’une structure pouvant...
-
Post-doctorat
Calibration automatique de boites quantiques assistée par réseaux de neurones et modèle physique
Les ordinateurs quantiques offrent de grandes promesses pour faire progresser la science, la technologie et la société en résolvant des problèmes au-delà des capacités des ordinateurs classiques. Lapos;une des technologies de bits quantiques (qubits) les plus prometteuses est celle des qubits de spin, basés sur des boîtes quantiques (BQ) tirant parti de la grande maturité...
-
Stage
Stage Développement d'une imagerie scientifique en Java H/F
Le sujet de stage proposé ici est de participer à l'amélioration de l'imagerie de CIVA. Un premier enjeu réside dans l’amélioration des performances de l’imagerie. On souhaite offrir la meilleure expérience utilisateur possible, en limitant toutefois la lourdeur des algorithmes. En effet, certains des modules sont réutilisés dans des interfaces de systèmes d'acquisition où il est...
-
CDD
Ingénieur caractérisation électrique de mémoires non volatiles émergentes H/F
Le CEA Leti est un laboratoire à la pointe sur les technologies mémoires non-volatiles (NVM) émergentes. Plusieurs technologies de mémoires NVM sont en cours de développement : ReRAM (Resistive RAM), PCRAM (Phase Change RAM) et FeRAM (Ferroelectric RAM). Ces technologies sont développées et fabriquées au sein de nos salles blanches en collaboration avec nos partenaires industriels ou...
-
CDD
Ingénieur caractérisation électrique et fiabilité microélectronique H/F
Le développement de technologies de transistors avancées implique des études en caractérisation électrique et fiabilité poussées. En effet dans un contexte de continuelle diminution des dimensions caractéristiques des dispositifs CMOS, il est essentiel comprendre les mécanismes de fonctionnement des transistors et de prédire l'évolution des caractéristiques via des modèles prédictifs. Pour ce faire le Laboratoire de...
-
CDI
Work Package Leader Fames H/F
La mission du chef de projet consiste à : - Organiser et coordonner des activités inhérentes aux études de positionnement de la technologie : caractérisation électrique, simulation / modélisation, mise en place des Process Design-Kits, co-optimisation design-technologie ; - Faire le lien avec les personnes en charge des développements technologiques, d'une part pour guider les...
-
Stage
Intégration des propositions LLM dans un modèle UML - STAGE - Paris-Saclay 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...
-
Stage
STAGE - Attaques adverses et contre-exemples pour la vérification de réseaux de neurones H/F
Contexte Avec les récents développements en matière d'IA, son utilisation est de plus en plus répandue et soulève de plus en plus de questions quant à sa robustesse, son respect de la vie privée ou autre. On peut citer par exemple le cas des attaques adverses, où un attaquant modifie les entrées de l'IA avec...
-
Stage
Solveur non-linéaire pour la vérification de réseaux de neurones H/F
Contexte Avec les récents développements en matière d'IA, son utilisation est de plus en plus répandue et soulève de plus en plus de questions quant à sa robustesse, son respect de la vie privée ou autre. Un certain nombre de travaux ont émergés pour augmenter la confiance dans les IAs en se basant sur des...
-
Stage
Confidence-based safety properties in CAISAR H/F
Through the recent developments of AI, the use of models produced by machine learning has become widespread, even in industrial settings. However, studies are flourishing showing the dangers that such models can bring, in terms of safety, privacy or even fairness. We can for example cite the adversarial attacks, small perturbations invisible to naked eyes...
-
CDD
Ingénieur instrumentation 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 un(e) ingénieur(e) instrumentation pour le CEA/DRT/List (Direction de la Recherche Technologique). Ce poste de cadre en CDD...
-
Stage
Benchmarking the scalability of model-checker-based detection of timing anomalies H/F
Rejoignez-nous en Stage ! Worst-Case Execution Time (WCET) analyses compute sound and (desirably) tight worst-case execution bounds, exploring, via convenient abstractions, all the execution paths of a program running on a computer architecture. This process is complicated by the presence of Timing Anomalies (TA) [1], a counterintuitive behavior in the sense that the local worst-case timing...
-
Stage
Génération de prompts basée sur des modèles - (H/F)
Génération de prompts basée sur des modèles Le framework EMF (Eclipse Modeling Framework) [1] est le framework de facto utilisé pour l'ingénierie des systèmes basée sur des modèles (MDSE - Model Based System Engineering) dans l'IDE Eclipse. Les (méta)modèles sont sérialisés en XMI et manipulés via une API Java. Un cas d'utilisation important d'EMF est...
-
Stage
Conception et Implémentation de CRDTs Spécifiques pour la Modélisation Collaborative - (H/F)
L'ingénierie dirigée par les modèles permet de concevoir des systèmes complexes en s'appuyant sur des représentations de haut niveau. Cette approche est utilisée dans divers secteurs, tels que la robotique, la conception logicielle et l'automobile. Des langages comme UML, Ecore et plus récemment KerML offrent un cadre de modélisation qui structure les systèmes sous forme...
-
Stage
Inférence embarquée d'un nouveau modèle d'IA pour la vision, le Vision Mamba
Dans le cadre de son activité de conception de solution matérielle embarquée pour l’inférence de modèles IA, le LIAE s’intéresse notamment aux topologies des réseaux de neurones exploitées dans les modèles de fondation vision pour les applications de perception. Alors que les modèles de fondation vision à base de Transformers ont connu un essor considérable...
-
Stage
8-bit floating-point formats for deep learning H/F
By default, computations in a deep neural network are done with numbers represented in the 32-bit floating-point format (fp32). This format can represent a great variety of real-valued numbers but requires 4 bytes to store each number used, which can be a problem for memory-constrained environments such as embedded systems. 8-bit fixed-point (int8) is a...
-
Stage
Stage - Information Quantique : Evaluation de l'érreur de Trotterisation directement sur la puce qua 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...
-
Stage
Combiner chiffrement homomorphe (HE) et preuves de connaissance H/F
L'offre : Le chiffrement homomorphe (HE) est un type de chiffrement qui permet d'effectuer des calculs directement sur les textes chiffrés. L'objectif principal du HE est d'externaliser les calculs sur les données tout en préservant la confidentialité. Toutefois, les schémas homomorphes n'offrent aucune garantie d'intégrité ni sur le calcul ni sur les données en entrée. C'est pourquoi...
-
Stage
Étude de la fiabilité des « circuits 3D » H/F
Pendant ce stage, vous commencerez par étudier les techniques de réparation des interfaces industrielles pour les chiplets (UCIe, AIB,..). Ensuite, vous modéliserez leur capacité de réparation, en fonction de différentes types de fautes (open, short,..). Pour la suite, ce sera à vous de proposer des améliorations de l’existant. Vous devrez modéliser les approches que vous...
-
Stage
Optimisation de l'IA : pruning de Vision Transformers pour les systèmes embarqués
L'objectif de ce stage est d'identifier une solution généralisable permettant au modèle ViT de bien performer sur plusieurs tâches, tout en minimisant le compromis entre la performance, la complexité du modèle et l'efficacité des ressources. Plus précisément, ce stage s'appuiera sur une approche hybride de réduction des tokens, développée dans notre laboratoire pour la segmentation...
-
Stage
Développement d'un framework fédéré FHE pour l'exploitation de données santé. H/F
Offre: Au-delà de la réglementation, l’externalisation de données sensibles (données secrètes et données souveraines) en dehors du site industriel ou hébergeur certifié, afin d’y faire des traitements ou analyses dans des infrastructures de calcul externe (type Cloud), est encore freinée en raison de l’absence de solutions garantissant la confidentialité de ces données. Les données de...
-
Stage
Optimisation SIMD d'operateurs de calcul pour la cryptographie homomorphe H/F
The application of Fully Homomorphic Encryption (FHE) to privacy issues arising in inference or training of neural networks has been actively researched over the last few years. Yet, although practical performances have been demonstrated on certain classes of neural networks, the inherent high computational cost of FHE operators has prevented the scaling capabilities of FHE-based...
-
Stage
Peut-on appliquer une méthode de réduction des tokens généralisée aux modèles ViT multitâches ? H/F
L'objectif de ce stage est d'identifier une solution généralisable permettant au modèle de bien performer sur plusieurs tâches, tout en minimisant le compromis entre la performance, la complexité du modèle et l'efficacité des ressources. Plus précisément, ce stage s'appuiera sur une approche hybride de réduction des tokens, développée dans notre laboratoire pour la segmentation sémantique...
-
Stage
Stage - Impact des procédés plasma sur les dispositifs qubits de spin sur semiconducteur H/F
Les qubits de spin dans les semi-conducteurs représentent l’une des plateformes majeures pour réaliser du calcul quantique. Leur fabrication bénéficie de décennies de développements de l’industrie microélectronique. Or, si les procédés de fabrication sont adaptés aux dispositifs traditionnels tels que les transistors ou mémoires, leur impact sur les dispositifs quantiques, dont le régime de fonctionnement...
-
Stage
Exploitation de la sparsité pour la réduction de la taille de modèle des réseaux ViT
Les modèles Transformers (ViT [1]/LLM) ont connu un essor considérable ces deux dernières années avec des performances très élevées, Cependant, ils demeurent des modèles relativement complexes, et leur déploiement dans le domaine de l’embarqué fait face à plusieurs défis. Dans le cadre de ses activités sur la compression de modèle de réseaux de neurones en...
-
CDD
Utilisation LLMs pour la spécification des politiques de partage des données - 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 usage des LLMs pour la spécification des politiques de partage des...
-
CDD
LLMs for specifying data sharing policies H/F
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 come. Usually written in natural language by business analysts, these documents are the key that bind all stakeholders for the duration of the project,...
-
Stage
Étude et optimisation de la consommation énergétique des systèmes blockchain H/F
Objectif : L'objectif de ce stage est d'analyser en profondeur la consommation énergétique des systèmes blockchain actuels, d'identifier les facteurs qui y contribuent, et de proposer des pistes d'optimisation. Le stagiaire évaluera les technologies et architectures blockchain existantes, explorera différentes approches pour réduire leur empreinte énergétique et développera des recommandations ou prototypes visant à minimiser...
-
CDD
Chef de Projet H/F
Rattaché(e) au Chef de département du CEA Tech en Région de Nouvelle-Aquitaine, vous aurez comme principales missions : - Piloter la contribution de CEA de Nouvelle-Aquitaine au programme DIHNAMIC A ce titre : • Vous représentez CEA de Nouvelle-Aquitaine et participez au management du programme à différentes échelles : en interne, au sein du consortium...
-
Stage
Programmation temps réel Linux d'une carte MPSoC pour l'utilisation d'un accélérateur IA
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...
-
Stage
Hybrid full-hardware implementation of NIST Post-Quantum Cryptography KEM and Digital Signature H/F
Internship description The National Institute for Standard and Technology (NIST) has recently emitted (on August 2024) the new standards for Key Encapsulation Mechanism (KEM) and digital signature based on lattice-based cryptography (CRYSTALS-Kyber and CRYSTALS-Dilithium) and hash-based cryptography (SPHINCS+). The proposed internship will focus on the full-hardware implementation of the NIST's newly standardized post-quantum cryptographic algorithms....
-
Stage
Méthodes avancées pour l'optimisation des réseaux neuronaux Transformers H/F
Récemment, les modèles de type Vision Transformer (ViT) [1] ont été introduits. Ces modèles appartiennent à une catégorie plus large de modèles de fondation (foundation models), qui désignent des architectures d'apprentissage profond pré-entraînées sur de vastes volumes de données et capables de s'adapter à une large gamme de tâches en aval avec un fine-tuning minimal....
-
CDD
Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F
Join the CEA to give meaning to your work, lead or support national and international R&D projects, and cultivate and nurture your curiosity. IN SUMMARY, WHAT DO WE OFFER YOU? We are looking for an Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs for the CEA/DRT/List (Direction de la Recherche...
-
Stage
Stage développement et mise en open source d'un logiciel Python d'analyse de cycle de vie H/F
Les missions du stage consisteront à : S’approprier le code existant. Accompagner la mise en open source du code, son déploiement et la démarche d’intégration continu, notamment en développement des tests d’intégration et en mettant en place des bonnes pratiques. Proposer des améliorations d’architecture logicielle et de qualité du code en vue d’interfacer Appa LCA avec...
-
Stage
STAGE Ingénieur(e) Génie Logiciel Modélisation et Back H/F
Nous rejoindre, pour quoi faire ? Vous aurez pour mission la participation au développement de sous-modules appartenant à un projet plus large de développement de Jumeaux Numériques. Vous disposerez d’interfaces innovantes (tactiles, grande dimensions) permettant une lecture facilitée des résultats de simulation. Dans ce cadre vous interagirez avec l’ensemble de l’équipe (product owner, lead dev,...
-
Stage
Réseaux de Neurones Artificiels Graphes pour capteur Radar Intelligent H/F
La perception et l’analyse de l’environnement qui nous entoure est un enjeu majeur dans beaucoup de domaines industriels porteurs. Dans ce contexte, les algorithmes d’intelligence artificielle (IA) ont incontestablement montré leur efficacité pour des tâches liées à la vision, avec différents capteurs (caméra, lidar…). Aujourd’hui, il y a un intérêt croissant pour l’exploitation de données...
-
Stage
Improving the Effectiveness of LLM-Assisted ISS Generation from Design Specification H/F
The internship aims to enhance the performance of large language models (LLMs) in generating Instruction Set Simulator (ISS) code by using Reinforcement Learning (RL) to optimize and automate prompt tuning. Additionally, the internship seeks to expand dataset coverage by using simulators such as QEMU (Quick Emulator) in-the-loop to simulate and evaluate a wider range of...
-
Stage
Etude des réseaux KAN pour systèmes embarqués
Contexte : Les réseaux Kolmogorov-Arnold ont récemment fait l'objet d'une attention accrue [1], en tant qu'alternative aux réseaux perceptrons multicouches (MLP) aujourd’hui utilisés dans de nombreuses applications d'apprentissage profond (Deep Learning). Dans les MLP, les neurones exécutent des fonctions d'activation prédéfinies et non linéaires sur la somme pondérée de leurs valeurs d'entrée (connexions). Les poids...
-
Stage
Portage d'un algorithme d'IA de prédiction adaptative sur microcontrôleur H/F
Ce stage propose de porter un/des algorithme(s) existant(s) de prédiction adaptative de consommation d’eau chaude sanitaire sur un microcontrôleur, possiblement un STM32, à l’aide de l’outil AIDGE en cours de développement dans le projet DeepGreen. En effet, nous avons développé deux algorithmes de prédiction de la consommation d’eau chaude sanitaire, l’un utilisant un GRU [1],...
-
Stage
Accélération matérielle de la multiplication matricielle massive pour l'inférence des ViT H/F
Ce stage se déroulera au sein du Laboratoire Environnement de Conception et Architecture (LECA), basé à Nano-Innov, du CEA LIST. Il portera sur l’accélération matérielle des calculs de multiplication matricielle massive qui est une opération clé dans l’inférence des Vision Transformers (ViT), une architecture de référence pour de nombreuses tâches de vision par ordinateur. Toutefois,...
-
Stage
Mapping & Scheduling de Transformers sur un Accélérateur Neuronal programmable H/F
Dans ce cadre, l’objectif de ce stage est d’implémenter une application type Transformers sur l’architecture PNeuro. Un des enjeux importants de cette partie est l’allocation des calculs aux processeurs élémentaires de sorte à atteindre les meilleures performances de calcul (OPC : opérations par cycle), tout en minimisant les transferts de données en mémoire. Dans un premier...
-
Stage
Exploring the Generalizability of ML-driven Performance Model Generation for HW Design H/F
The Environmental Design and Architecture Laboratory (LECA), within the Digital Systems and Integrated Circuits Department (DSCIN), is a multidisciplinary technological research team comprising experts in hardware IP design and simulation tools. A key contribution of the Lab lies in its innovative methodologies and tools for automating model generation through machine learning techniques. In particular, the...
-
Stage
Exploring and Optimizing Moving Target Defense Strategies Using Reinforcement Learning H/F
The first task will be to identify additional system parameters that can be modified to further complicate attackers' efforts. The intern will also explore the optimal timings and methods for applying these changes while ensuring minimal impact on system performance. Additionally, the intern will explore the solution space using reinforcement learning to identify and optimize...
-
Stage
Formal analysis of fault-injection countermeasures within a secure RISC-V processor H/F
With the rise of new development models based on open source, secure hardware components are increasingly being developed in public implementations, notably within the OpenHW Group [1]. The possibility of building a complete system from publicly available, open-source components is becoming a reality. For example, the CV32E40S RISC-V processor [2], derived from the CV32E40P [3],...
-
Stage
Security characterization of a RISC-V processor H/F H/F
With the rise of new development models based on open source, secure hardware components are increasingly being developed in public implementations, notably within the OpenHW Group [1]. The possibility of building a complete system from publicly available, open-source components is becoming a reality. For example, the CV32E40S RISC-V processor [2], derived from the CV32E40P [3], incorporates...
-
Stage
Stage sur la modélisation renforcée par apprentissage H/F
La maîtrise des systèmes complexes est une activité difficile à mener à bien et qui impacte aujourd’hui de nombreux domaines industriels ou de recherche. Elle pose des problèmes de modélisation et de simulation par la nature hétérogène des données impliquées, avec des aspects discrets et continus. Deux approches sont possibles. Les méthodes quantitatives, dont les...
-
CDD
Ingénieur de recherche en génie logiciel pour les modèles émergents en IA 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 un(e) ingénieur(e) de recherche en génie logiciel pour les modèles émergents en IA pour le CEA/DRT/List (Direction...
-
Stage
Token lifecycle handling with BPMN smart contracts H/F
Le CEA List développe l’outil THEA qui permet aux utilisateurs de concevoir des modèles de processus et de les transformer en smart contracts qui sont ensuite déployés sur une blockchain. Ces smart contracts définissent les règles de gestion des processus et automatisent leur exécution en fonction de contraintes liées aux droits d’exécution. Bien que THEA...
-
Stage
Stage sur les décodeurs en arbre pour les réseaux de neurones appliqués à la mécanique du solide H/F
Le stage portera sur l’utilisation de réseaux de neurones pour l’accélération de simulations élasto-plastiques. Dans cette optique, une architecture que nous avons appelée PlastiNN a déjà été développée dans le cadre d’une thèse en cours au CEA. PlastiNN fournit les champs de déplacements correspondant à chaque étape de chargement (torseurs d’efforts, pression, etc.) donnée en...
-
Stage
Secure Data Sharing Policy Recommendation with LLMs H/F
Le partage de données sensibles peut être sujet à des attaques cyber de la part d’acteurs malveillants lors de collaborations multi-acteurs. Un exemple concerne l’interception de données de santé partagées entre plusieurs hôpitaux pour entraîner un modèle IA afin de revendre ces données. Un autre exemple concerne l’interception de données concurrentielles au sein d’une supply...
-
Stage
Stage - Modélisation des matériaux H/F
Le modèle d'Ising est l'un des modèles de physique statistique les plus populaires en raison de sa simplicité et en même temps de son pouvoir prédictif pour les systèmes physiques subissant une transition de phase du second ordre. Dans sa version la plus basique, ce modèle consiste en un réseau de spins avec une interaction...
-
Stage
Stage - Collage Direct d'interconnexions supraconductrices pour des applications quantiques H/F
Rejoignez le CEA LETI, un institut de recherche de pointe où se développent les technologies de demain. À la croisée de la recherche et de l'industrie, le LTI3D (Laboratoire des Technologies de l'Intégration 3D) offre des ressources exceptionnelles et un environnement dynamique pour vous plonger dans le monde passionnant de l'intégration 3D pour les technologies...
-
Stage
Stage M2 - Réseaux de neurones appliqués au contrôle de dispositifs quantiques (qubits) H/F
Contexte du projet : Les ordinateurs quantiques promettent de révolutionner la science, la technologie et la société en résolvant des problèmes au-delà des capacités des ordinateurs classiques. L'une des technologies de bits quantiques (qubits) les plus prometteuses est celle des qubits de spin, basés sur des boîtes quantiques (BQ) fabriquées à l’aide des technologies des semi-conducteurs. Les...
-
Stage
Robust Federated Learning - Internship H/F
Context: Machine learning plays a central role in many applications, and the increasing adoption of decentralized solutions, combined with dependability requirements, necessitates that learning tasks be carried out in a decentralized manner. In such settings, nodes in the system can assume multiple roles: performing learning on their local data while also aggregating the computational results...
-
Stage
Stage de fin d'étude - Ingénieur(e)/Master 2 - Modelisation par Deep Learning H/F
Contexte : Le CEA-Leti est un institut de recherche technologique leader mondial reconnu de la microélectronique. En démarrant le projet NextGen, le CEA lance la conception de nouvelles générations de puces FD-SOI 10nm, plus efficientes et plus sobres énergétiquement. La fabrication de ces puces nécessite des étapes complexes dont le polissage mécano-chimique ou Chemical Mechanical...
-
Stage
Un Système d'Effets pour un Langage de Programmation de Smart Contracts de Confiance H/F
L'objectif de ce stage est de implémenter un système d'effets sur un langage noyau de smart contracts basé sur les PSS que nous avons mis en place au CEA List. Les effets algébriques permettent au programmeur de formaliser le comportement computationnel attendu du programme, qui est encodé dans le type du programme et automatiquement vérifié...
-
Stage
Support logiciel pour calcul clairsemé / sparse
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...
-
CDD
Ingénieur filière en technologies d'intégration 3D pour le quantique et la photonique H/F
Au sein du CEA-Leti, le Laboratoire des Technologies d’Intégration 3D (LTI3D) rassemble l’ensemble des technologies permettant de réaliser des systèmes électroniques ou électro-optiques avancés par les technologies d'intégration hétérogène de circuits et composants, pouvant provenir de technologies différentes. Cette approche permet de réaliser des systèmes très performants qui combinent des nœuds avancés (dits "More Moore")...
-
CDD
Research Engineer in Systems Engineering for Eco-Innovation Approaches - CDD - Paris-Saclay W/M
“Join the CEA to give meaning to your activity, lead and support national and international R&D projects, cultivate and bring to life your spirit of curiosity.” IN SUMMARY, WHAT DO WE OFFER YOU? The CEA is looking for a Research Engineer in Systems Engineering for Eco-Innovation Approach for the CEA/DRT (Technological Research Directorate). This...
-
Stage
Conception et implémentation de visualisation permettant d'aider à comparer des ACV 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...
-
Stage
Stage - Exploration de cristaux optomécaniques GHz pour des applications quantiques
Description du poste : Votre objectif principal est de caractériser et d'étudier les cristaux optomécaniques, fonctionnant à quelques GHz, notamment pour des applications quantiques. Vous travaillez sur des dispositifs qui possèdent un couplage fort entre les modes optiques et mécaniques, facilitant le transfert de photons en phonons et vice versa. Ce stage vous offre un...
-
Stage
Méthodologie formelle pour l'exploration et l'évaluation des architectures logicielles critiques complexes H/F
Le stage vise à améliorer la méthodologie outillée existante appelée QuaRTOS-DSE en renforçant la formalisation et la mise en œuvre de cette méthodologie. Il portera sur l'exploration et l'évaluation des architectures logicielles critiques complexes. Les architectures logicielles obtenues seront évaluées par une vérification formelle des propriétés extra-fonctionnelles du système à l'aide d'outils existants. L'exploration et...
-
Stage
Stage - Design de filtres RF supraconducteurs pour applications quantiques 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...
-
Stage
Minimisation de la Consommation Énergétique dans le Cloud par Deep Reinforcement Learning H/F
Objectifs du stage Le but de ce stage est de concevoir et de développer une stratégie dynamique de placement et de migration de machines virtuelles pour optimiser la consommation d'Energie dans les centres de données. Pour atteindre ce but, le stage sera structure en plusieurs objectifs complémentaires : • Etude de l’état de l’art ´...