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.

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

 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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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....

Learn more Apply

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....

Learn more Apply

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...

Learn more Apply

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,...

Learn more Apply

Perception and analysis of the environment around us is a major challenge in many promising industrial fields. In this context, artificial intelligence (AI) algorithms have unquestionably proven their effectiveness for vision-related tasks, using various sensors (camera, lidar...). Today, there is growing interest in the use of radar (radio detection and ranging) sensor data by AI....

Learn more Apply

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...

Learn more Apply

Context: Kolmogorov-Arnold Networks recently receive increased attention [1], as a promising alternative to the traditional Multi-Layer Perceptrons (MLPs) that currently power many deep learning applications. In MLPs, nodes (neurons) perform pre-defined, non-linear activation functions on the weighted sum of their input edges (connections). The linear weights on the connections are adjusted during training. Instead, KAN...

Learn more Apply

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],...

Learn more Apply

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,...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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],...

Learn more Apply

General context The aim of this internship is to study and implement masking countermeasures against side channel attacks on post-quantum cryptography algorithms. Side-channel attacks Side-channel attacks make it possible to track instructions executed or data manipulated by a processor by analysing its power consumption or electromagnetic emissions. Defending against these attacks is crucial because of...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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é...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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...

Learn more Apply

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 ´...

Learn more Apply