Emplois
Toutes nos offres
-
Post-doctorat
Reconstruction tomographique par rayons X basée sur des méthodes analytiques et Deep-Learning
Le CEA-LIST développe la plateforme logicielle CIVA, référence de la simulation des procédés de contrôle non destructif. Elle propose notamment des outils pour l’inspection radiographique X et tomographique qui permettent, pour un contrôle tomographique donné, de simuler l’ensemble des projections radiographiques (ou sinogramme) en prenant en compte divers phénomènes physiques associés, ainsi que la reconstruction...
-
Post-doctorat
Conception d’alliages à Haute entropie (thermodynamique prédictive, Machine learning) et fabrication rapide par frittage SPS
Le travail proposé vise à utiliser des méthodes de fouille de données (réseaux de neurones artificiels, Random Forest, processus Gaussiens) combinée avec la thermodynamique prédictive (méthode CALPHAD) pour découvrir de nouveaux alliages HEA dans le domaine à 6 éléments Fe-Al-Ni-Co-Mo-Cr. Des méthodes expérimentales de densification rapide (frittage assisté par courants électromagnétiques pulsés (SPS pour Spark...
-
Post-doctorat
Développement dapos;Algorithmes pour la Détection et la Quantification de Biomarqueurs à partir de Voltammogrammes
Lapos;objectif du post-doctorat est de développer une solution algorithmique et logicielle performante permettant la détection et la quantification des biomarqueurs dapos;intérêt à partir de voltammogrammes. Ces voltammogrammes sont des signaux unidimensionnels issus de capteurs électrochimiques innovants. Lapos;étude sera réalisée en étroite collaboration avec un autre laboratoire du CEA-LIST, le LIST/DIN/SIMRI/LCIM, qui proposera des capteurs électrochimiques...
-
Post-doctorat
Développement d'approches pour l'intelligence artificielle à base de bruit
Les approches actuelles de l’IA sont largement basées sur la multiplication matricielle. Dans le de ce projet postdoccadre toral, nous aimerions poser la question suivante : quelle est la prochaine étape ? Plus précisément, nous aimerions étudier si le bruit (stochastique) pourrait être la primitive computationnelle sur laquelle la nouvelle génération d’IA est construite. Nous...
-
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é...
-
Post-doctorat
Conception et mise en œuvre d’un réseau de neurones pour la simulation thermo-mécanique en fabrication additive
Le procédé WAAM (Wire Arc Additive Manufacturing) est une méthode de fabrication additive métallique permettant de fabriquer des pièces de grandes dimensions avec un taux de dépôt élevé. Cependant, ce procédé engendre des pièces fortement contraintes et déformées, rendant complexe la prédiction de leurs caractéristiques géométriques et mécaniques. La modélisation thermomécanique est essentielle pour prédire...
-
Post-doctorat
Calcul Haute performance exploitant la technologie CMOS Silicium à température cryogénique
Les avancées en matériaux, architectures de transistors et technologies de lithographie ont permis une croissance exponentielle des performances et de l’efficacité énergétique des circuits intégrés. De nouvelles voies, dont le fonctionnement à température cryogénique, pourraient permettre de nouvelles avancées. L’électronique cryogénique, nécessaire pour manipuler des Qubits à très basse température, est en plein essor. Des...
-
CDD
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...
-
Doctorat
Détection dapos;anomalies dans les vidéos adaptative et explicable
La détection dapos;anomalies dans les vidéos (VAD) vise à identifier automatiquement les événements inhabituels dans des séquences vidéo qui s’écartent des comportements normaux. Les méthodes existantes reposent souvent sur lapos;apprentissage One-Class ou faiblement supervisé : le premier napos;utilise que des données normales pour lapos;entraînement, tandis que le second sapos;appuie sur des labels au niveau de...
-
Doctorat
Développement et validation d’algorithmes d’intelligence artificielle, appliqués à l’haptique surfacique, pour l’évaluation des troubles neurodéveloppementaux à travers le toucher et la dextérité
Lapos;objectif de cette thèse est de développer de nouvelles méthodes dapos;évaluation clinique utilisant des technologies haptique surfaciques, développées au CEA List, et des algorithmes de machine learning pour tester et mesurer lapos;intégration tactile-motrice. En particulier, la thèse investiguera et validera le développement dapos;un pipeline dapos;analyse multimodale qui convertit les signaux haptique et les données des...
-
Doctorat
Exploitation avancée des données de santé par de lapos;apprentissage collaboratif sécurisé
Depuis quelques années, l’apprentissage profond est utilisé avec succès dans de nombreux domaines et est de plus en plus intégré dans la recherche clinique et le domaine de la santé. La capacité à combiner des sources de données diverses, telles que la génomique et l’imagerie, améliore la prise de décision médicale. L’accès à de grands...
-
Stage
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...
-
Stage
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...
-
Doctorat
CORTEX: Orchestration de Conteneurs pour les applications Temps-Réel, Embarqués/edge, à criticité miXte
Cette proposition de thèse de doctorat vise à développer un schéma dapos;orchestration de conteneurs pour les applications en temps réel, déployées sur un continuum de ressources de calcul hétérogènes dans lapos;espace embarqué-edge-cloud, avec un focus particulier sur les applications nécessitant des garanties en temps réel. Les applications, allant des véhicules autonomes, à la surveillance de...
-
Doctorat
Apprentissage informé par la physique pour les problèmes inverses acoustiques : reconstruction de champs, détection et analyse de détectabilité en environnements complexes
Cette thèse vise à développer un cadre mathématique et algorithmique pour la résolution de problèmes inverses acoustiques en environnements complexes, fondé sur l’apprentissage informé par la physique. En intégrant explicitement l’équation des ondes dans des architectures d’intelligence artificielle, l’objectif est d’améliorer la reconstruction de champs acoustiques à partir de mesures partielles, la localisation de sources...
-
Doctorat
Architecture dapos;un système de tomoscintigraphie préclinique
L’imagerie médicale est une source majeure d’innovations offrant un potentiel remarquable pour relever les nouveaux défis posés par la médecine de précision. En particulier les approches théranostiques, mêlant diagnostic et thérapie peuvent être personnalisées pour chaque patient. Dans ce cadre, le CEA-Leti propose un sujet de thèse visant à développer un imageur tomoscintigraphique préclinique dédié,...
-
Doctorat
Génération assistée par LLM de modèles matériels fonctionnels et formels
Les systèmes matériels modernes, comme les processeurs RISC-V ou les accélérateurs matériels, reposent sur des simulateurs fonctionnels et des modèles de vérification formelle pour garantir leur bon fonctionnement, leur fiabilité et leur sécurité. Aujourd’hui, ces modèles sont majoritairement développés manuellement à partir des spécifications, ce qui demande beaucoup de temps et devient de plus en...
-
Doctorat
Détection hors distribution avec des modèles de fondation de vision et des méthodes post-hoc
Le sujet de thèse se concentre sur lapos;amélioration de la fiabilité des modèles de deep learning, en particulier dans la détection des échantillons hors distribution (OoD), qui sont des points de données différents des données dapos;entraînement et peuvent entraîner des prédictions incorrectes. Cela est particulièrement important dans des domaines critiques comme la santé et les...
-
Doctorat
Prédiction des effets de dispersion d’ondes élastiques par un modèle semi-analytique sous approximation hautes fréquences
Les méthodes d’inspection ultrasonores (UT) sont une composante essentielle des contrôles non-destructifs (CND). Elles sont couramment employées pour l’inspection de composants mécaniques tels que les soudures (nucléaire, pétrochimie) ou les structures en matériau composite (aéronautique). Afin de comprendre les phénomènes physiques en jeu pour une configuration donnée, la simulation est un atout et parfois une...
-
Doctorat
Optimisation dapos;architecture neuronale post-entraînement pour petit modèles de langage
L’IA générative, et en particulier les modèles de langage (LLM), ont conduit à une nouvelle révolution de lapos;IA avec des applications dans tous les domaines. Cependant, les LLM sont très gourmands en ressources (énergie, calculs, etc.) et, par conséquent, difficiles à mettre en œuvre sur des systèmes embarqués autonomes. Les LLM peuvent être optimisés en...
-
Doctorat
Validation systémique des bases de règles floues : prise en compte de la disponibilité des données et des spécificités de l’inférence floue}
Ce sujet de thèse s’inscrit dans le domaine de l’intelligence artificielle symbolique. Contrairement aux approches basées sur les réseaux de neurones, ces méthodes reposent sur des règles explicites, souvent issues d’experts ou apprises à partir de peu de données, ce qui les rend interprétables mais potentiellement imparfaites. Le problème central est donc la validation des...
-
Stage
Internship on Artificial Intelligence and Network Intrusion Detection H/F
Context: Network intrusion detection systems (NIDS) are software components that analyse network traffic and raise alerts when anomalous behaviour is detected. These systems increasingly rely on artificial intelligence to dynamically learn normal patterns in network traffic and identify abnormal behaviour. A primary challenge in the deployment of AI-based NIDS is automating the correlation of disparate...
-
CDD
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...
-
Alternance
Alternance - Ing. informatique - Développement de jumeaux numériques multi-physique et IA pour la XR H/F
Présentation du laboratoire d’accueil Au cœur du Plateau de Saclay (Ile-de-France), l’institut CEA LIST focalise ses recherches sur les systèmes numériques intelligents. Porteurs d’enjeux économiques et sociétaux majeurs, ses programmes de R&D sont centrés sur les systèmes interactifs, les systèmes embarqués, les capteurs et le traitement du signal. Dédiés à la recherche technologique, les...
FR 
EN 