Jobs
All our offers
-
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...
-
Fixed term contract
Ingénieur de Recherche - Propagation pour Radiocommunications 6G H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Vous intégrerez une équipe composée d'une trentaine de chercheurs expérimentés travaillant sur la caractérisation, la modélisation et l’émulation du canal radiofréquence couvrant un large spectre (de quelques centaines de MHz à quelques centaines de GHz). Les travaux menés s’appuieront sur un ensemble d’outils de traitement de signal...
-
Fixed term contract
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...
-
PostDoc
Digital correction of the health status of an electrical network
Cable faults are generally detected when communication is interrupted, resulting in significant repair costs and downtime. Additionally, data integrity becomes a major concern due to the increased threats of attacks and intrusions on electrical networks, which can disrupt communication. Being able to distinguish between disruptions caused by the degradation of the physical layer of an...
-
phD
High-throughput experimentation applied to battery materials
High throughput screening, which has been used for many years in the pharmaceutical field, is emerging as an effective method for accelerating materials discovery and as a new tool for elucidating composition-structure-functional property relationships. It is based on the rapid combinatorial synthesis of a large number of samples of different compositions, combined with rapid and...
-
phD
Super-gain miniature antennas with circular polarization and electronic beam steering
Antenna radiation control in terms of shape and polarization is a key element for future communication systems. Directive compact antennas offer new opportunities for wireless applications in terms of spatial selectivity and filtering. This leads to a reduction in electromagnetic pollution by mitigating interferences with other communication systems and reducing battery consumption in compact smart...
-
phD
Enhancing Communication Security Through Faster-than-Nyquist Transceiver Design
In light of the growing demand for transmission capacity in communication networks, it is essential to explore innovative techniques that enhance spectral efficiency while maintaining the reliability and security of transmission links. This project proposes a comprehensive theoretical modeling of Faster-Than-Nyquist (FTN) systems, accompanied by simulations and numerical analyses to evaluate their performance in various...
-
phD
Advancing Semantic Representation, Alignment, and Reasoning in Multi-Agent 6G Communication Systems
Semantic communications is an emerging and transformative research area, where the focus shifts from transmitting raw data to conveying meaningful information. While initial models and design solutions have laid foundational principles, they often rest on strong assumptions regarding the extraction, representation, and interpretation of semantic content. The advent of 6G networks introduces new challenges, particularly...
-
phD
In-Sensor Computing for MEMS Sensors: Toward an Electromechanical Neural Network
The rise of machine learning models for processing sensor data has led to the development of Edge-AI, which aims to perform these data processing tasks locally, directly at the sensor level. This approach reduces the amount of data transmitted and eases the load on centralized computing centers, providing a solution to decrease the overall energy...
-
phD
Foundations of Semantic Reasoning for Enhanced AI Cooperation in 6G Multi-Agent Communications
6G will integrate 5G and AI to merge physical, cyber and sapience spaces, transforming network interactions, revolutioning AI-driven decision-making and automation and radically changing the overall system’s perception of the foundational concepts of information and reliability. This requires the native-by-design integration of AI and communication system. Current 5G technologies cannot support such change. 5G limits...
-
phD
Enhanced Quantum-Radiofrequency Sensor
Through the Carnot SpectroRF exploratory project, CEA Leti is involved in radio-frequency sensor systems based on atomic optical spectroscopy. The idea behind the development is that these systems offer exceptional detection performance. These include high sensitivity´ (~nV.cm-1.Hz-0.5), very wide bandwidths (MHz- THz), wavelength-independent size (~cm) and no coupling with the environment. These advantages surpass the...
-
phD
Design of electrically small antennas for connected object applications
This doctoral project focuses on the design of innovative antennas suited for Internet of Things (IoT) applications, addressing major challenges related to size, performance, and integration. The scientific context is based on the growing demand for electrically small and efficient antennas, capable of seamlessly integrating with IoT devices while maintaining high radiation efficiency. The proposed...
-
phD
Wideband Hybrid Transmitter for Future Wireless Systems
This research is part of an effort to reduce the energy consumption and carbon footprint of future wireless systems by investigating innovative transmitter (TX) architectures with improved energy efficiency. Objective of the thesis is to elaborate a novel TX architecture for beyond 5G and 6G standards. Efficiency enhancement design techniques such as supply modulation or...
-
phD
Multipath-based Cooperative Simultaneous Localization amp; Mapping through Machine Learning
The goal of this PhD is to explore the potential of machine learning (ML) tools for simultaneous localization and mapping (SLAM) applications, while leveraging multipath radio signals between cooperative wireless devices. The idea is to identify characteristic features of the propagation channels observed over multiple radio links, so as to jointly determine the relative positions...
-
phD
Advanced RF circuit design in a system and technology co-optimization approach
This thesis addresses the two major challenges facing Europe today in terms of integrating the communication systems of the future. The aim is to design RF integrated circuits using 22nm FDSOI technology in the frequency bands dedicated to 6G, which will not only increase data rates but also reduce the carbon footprint of telecoms networks....
-
phD
EM Signature Modeling in Multi-path Scenario for Object Recognition and Semantic Radio SLAM
Context: The vision for future communication networks includes providing highly accurate positioning and localization in both indoor and outdoor environments, alongside communication services (JCAS). With the widespread adoption of radar technologies, the concept of Simultaneous Localization and Mapping (SLAM) has recently been adapted for radiofrequency applications. Initial proof-of-concept demonstrations have been conducted in indoor environments,...
-
phD
Distributed Passive Radar
Our objective is to detect and locate drones entering an urban area to be protected by observing the signals emitted by cellular stations. Studies have shown that it is possible to locate a drone if it is close to the listening system and the cellular station (i.e. the base station). When the situation is more...
-
Fixed term contract
Evaluateur en cryptographie et attaques par observation - CDD - Grenoble H/F
Nous rejoindre, pour quoi faire ? Pour développer et conduire des attaques par observation sur du matériel électronique. Vos missions seront de : contribuer aux tâches d’évaluation selon la méthodologie des critères communs ou de schémas privés : analyse de l'implémentation d'une fonction de sécurité (génération d'aléas, algorithmes cryptographiques, chiffrement d'une mémoire, etc.) concevoir et réaliser des attaques...
-
Fixed term contract
Evaluateur en attaques semi-invasives H/F
Le poste proposé dans le cadre du laboratoire CESTI correspond à une évaluatrice / un évaluateur en attaque semi-invasive. Il consiste en la réalisation de tests par perturbation lumineuse ou électromagnétique (injection de fautes). Fort de votre curiosité et de votre imagination pour challenger un composant sécurisé, vous effectuerez des tests de pénétration en utilisant...
-
Permanent contract
Evaluateur en sécurité électronique et conformité par critères communs H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Le CESTI du LETI cherche à renforcer son équipe d’évaluateurs en analyse de conformité et tests associés selon la méthodologie des Critères Communs. Votre mission sera de : mener l’analyse de conformité de produits sécurisés selon la méthodologie des Critères Communs mener les tests indépendants requis pour vérifier les...
-
Fixed term contract
Correspondant administratif projets institutionnels H/F
L’expertise pluridisciplinaire nécessaire au développement de l’informatique quantique va bien au-delà des capacités d’un seul et unique organisme, même pour un organisme accueillant autant de diversité que le CEA. En effet, un éventail particulièrement large de disciplines entre en jeu, des mathématiques à la physique en passant par l’informatique, la cryogénie, la science des matériaux...
-
phD
RF Circuit Designfor Zero Energy Communication
Our ambition for 6G communication is to drastically reduce the Energy in IoT. For that purpose we aim at developing an integrated circuit enabling zero Energy communication. The objective of this PhD is to design this circuit in FD-SOI and operating in the 2.4 GHz. In this PhD, we propose to use a new design...
-
phD
Sub-THz programmable electromagnetic surfaces based on phase change material switches
Spatiotemporal manipulation of the near- and far-electromagnetic (EM)-field distribution and its interaction with matter in the THz spectrum (0.1-0.6 THz) is of prime importance in the development of future communication, spectroscopy, imaging, holography, and sensing systems. Reconfigurable Intelligent (Meta)Surface (RIS) is a cutting-edge hybrid analogue/digital architecture capable of shaping and controlling the THz waves at...
-
phD
Scalability of the Network Digital Twin in Complex Communication Networks
Communication networks are experiencing an exponential growth both in terms of deployment of network infrastructures (particularly observed in the gradual and sustained evolution towards 6G networks), but also in terms of machines, covering a wide range of devices ranging from Cloud servers to lightweight embedded IoT components (e.g. System on Chip: SoC), and including mobile...
-
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...
-
PostDoc
DTCO for RF amp; mmW Applications:Focus on Homogeneous amp; Heterogeneous Chiplet Hybrid Bonding Challenge
In recent years, there have been numerous technological advancements in silicon-based semiconductors. However, the limits in terms of frequency performance and power seem to have been reached, requiring the development of new type III-V devices (such as InP and GaN) that are faster, more powerful and well adapted for new RF mmW applications. For reasons...
-
phD
Integrated System for Adaptive Antenna Tuning and Synthesized Impedance in the Sub-6 GHz Band for Next-Generation RF Systems.
The growing adoption of sub-6 GHz RF systems for 5G, IoT, and wearable technologies has created a critical demand for compact, efficient, and adaptive solutions to enhance energy transfer, mitigate environmental detuning effects, and enable advanced sensing capabilities. This thesis proposes an innovative system-on-chip (SoC) that integrates an Antenna Tuning Unit (ATU) and a Synthesized...
-
Fixed term contract
Analog and Power Integrated Circuit Design Engineer (M/F) - 36 months - Grenoble
Join the innovation in analog and power integrated circuit design! The massive miniaturization of systems and the continuous increase in embedded computing capabilities require ever more advanced optimization of energy efficiency and power solutions. Heterogeneous and 3D integration, as well as new packaging architectures, open unprecedented perspectives for power integration, with numerous innovation challenges:...
-
Fixed term contract
CDD - Technicien filière mémoire H/F
Dans le cadre de ce poste, vous serez intégré(e) dans une équipe projet dynamique et chargé(e) de : Créer des routes d’intégration de procédés pour fabriquer des dispositifs mémoires innovants Interagir avec les ingénieurs filière du laboratoire et avec les ingénieurs procédé de la salle blanche microélectronique du CEA-Leti pour optimiser cette route et, en...
-
phD
Reliability of RF GaN transistors for 5G millimeter Wave applications
Gallium Nitride components are very good candidates for power amplification at Millimeter Wave frequencies such as 5G (~30GHz), due to their power density and energy efficiency. However, these technologies are commonly integrated on Silicon Carbide substrates, which are thermally efficient but expensive and have small diameters. CEA-LETIapos;s GaN/Si technology provides world-class performance in Ka band,...
-
phD
In-situ Monitoring of RF Power Amplifier Circuits Aging for Eco-design and Extended Lifetime
The semiconductor industry, and more specifically the radio-frequency (RF) circuit sector, is facing critical challenges related to eco-design and eco-innovation. These challenges include the need to extend the lifetime of circuits while meeting the growing demands of emerging markets such as 5G and the future 6G. Among these circuits, power amplifiers (PA) play a central...
-
Fixed term contract
THESE - Transmission de puissance via un lien acoustique pour les milieux métalliques clos H/F
Sujet de thèse : Ce sujet de thèse se positionne sur les thématiques de transmission de puissance et de données à travers des parois métalliques en utilisant les ondes acoustiques. Cette technologie permettra à terme l’alimentation, la lecture et la commande de systèmes placés dans des zones enfermées dans du métal: réservoirs sous pression, coques...
-
Fixed term contract
THESE - Reconstruction numérique d'une cuve pour l'amélioration de l'instrumentation de suivi H/F
Sujet de thèse : Les cuves industrielles sont au cœur de nombreux procédés dans les industries biomédicales, agroalimentaires, industrielles et énergétiques, où elles assurent des fonctions cruciales telles que le mélange, le stockage et la transformation de fluides. Pour garantir une efficacité maximale des opérations et un contrôle rigoureux des processus, il est indispensable de...
-
Fixed term contract
Technicien intégration filière H/F
Au sein du LETI, nous sommes un laboratoire d’une quinzaine de personnes à l’état de l’art mondial sur le quantique sur silicium. Nous préparons l’avenir de l’informatique et des technologies SOI, l’un de nos projets phare étant la R&D pour la start-up QUOBLY, créée par le CNRS et le CEA, dont le but est de...
-
Permanent contract
Chef du laboratoire CESTI (Centre d'Evaluation de la Sécurité des Technologies de l'Information) H/F
NOUS REJOINDRE, POUR FAIRE QUOI ? Le rôle principal du Chef de Laboratoire CESTI est d'organiser, de coordonner et de piloter tous les projets d'évaluation sécuritaire en cours, en fonction des besoins clients et des contraintes internes du laboratoire. Il a aussi en charge le management des ressources qui lui sont confiées. Pour ce faire,...
-
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...
-
Fixed term contract
Ingénieur en visualisation et environnement de développement - 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 visualisation et environnement de développement pour la CEA/DRT (Direction de la Recherche Technologique). Ce poste de...
-
Fixed term contract
Ingénieur chercheur packaging design & development -microélectronique H/F
Le packaging de composants et systèmes microélectroniques constitue une étape clé pour rapprocher nos innovations des usages applicatifs permettant de relever les défis sociétaux auxquels nous sommes confrontés. Relevons les challenges ensemble : nous recherchons un(e) ingénieur(e) chercheur pour concevoir et développer le packaging de nos composants et systèmes microélectroniques. Au sein du LETI, le...
-
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
Grounding and reasoning over space and time in Vision-Language Models (VLM)
Recent Vision-Language Models (VLMs) like BLIP, LLaVA, and Qwen-VL have achieved impressive results in multimodal tasks but still face limitations in true spatial and temporal reasoning. Many current benchmarks conflate visual reasoning with general knowledge and involve shallow reasoning tasks. Furthermore, these models often struggle with understanding complex spatial relations and dynamic scenes due to...
-
phD
Physics informed deep learning for non-destructive testing
This PhD project lies within the field of Non-Destructive Testing (NDT), which encompasses a range of techniques used to detect defects in structures (cables, materials, components) without causing any damage. Diagnostics rely on physical measurements (e.g., reflectometry, ultrasound), whose interpretation requires solving inverse problems, which are often ill-posed. Classical approaches based on iterative algorithms are...
-
phD
GenPhi : 3D Generative AI conditioned by geometry, structure and physics
The aim of this thesis is to design new 3D model generators based on Generative Artificial Intelligence (GenAI), capable of producing faithful, coherent and physically viable shapes. While 3D generation has become essential in many fields, current automatic generation approaches suffer from limitations in terms of respecting geometric, structural and physical constraints. The goal is...
-
Fixed term contract
CDD - Ingénieur « device » sur la filière composants de puissance SiC H/F
Dans le cadre de son ambition de faire du Leti le premier institut de recherche technologique à développer des architectures de puissance en SiC sur ligne 200 mm, le laboratoire LAPS renforce son équipe SiC et recrute un ingénieur "device". Votre mission Intégré(e) au laboratoire LAPS, en interaction étroite avec les salles blanches, les laboratoires...
-
Permanent contract
Research Engineer in simulation and modeling for microelectronic devices W/M
In collaboration with our technology integration and characterization engineers and technicians, and with integrated circuit design teams—as well as our academic and industrial partners—you will work at the intersection of research and industry. Your role will be to help simulate and model the devices that will soon enable the secure and energy-efficient processing of ever-growing...
-
Fixed term contract
Ingénieur en Communications réseau déterministes et Jumeau numérique du réseau - 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 d'innovation. » CE QUE LE CEA VOUS PROPOSE : Le CEA recherche un(e) Ingénieur de Recherche en Réseau / TSN + NDT pour la CEA/DRT (Direction de la Recherche Technologique)....
-
Fixed term contract
CDD - Ingénieur filière mémoire ferroélectrique H/F
Le Laboratoire des Dispositifs pour les Mémoires et le Calcul explore et développe des mémoires non-volatiles innovantes (NVM de type mémoires résistives) et des solutions de calcul en rupture (neuromorphique, calcul dans la mémoire…). Notre laboratoire rassemble des compétences en dispositifs et technologie nano-électronique et conception de circuit pour le calcul et les mémoires embarquées. Dans...
-
Fixed term contract
Thèse (PhD) : Vulnérabilités des modèles d'IA génératives multimodaux H/F
Bien que l'intelligence artificielle générative excelle dans la création de contenus originaux (comme du texte, image ou code), elle fait face à plusieurs limitations. Les données utilisées pour entrainer les modèles de fondation sur lesquelles s'appuie l'IA générative peuvent être périmées depuis des semaines, des mois, voire des années. De plus, dans un chatbot d'entreprise,...
-
Fixed term contract
Ingénieur-chercheur en Vision par ordinateur pour la robotique - 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)-chercheur(se) en Vision par ordinateur pour la robotique pour la CEA/DRT (Direction de la...
-
Fixed term contract
Cybersécurité matériel/logiciel des systèmes embarqués H/F
Contexte : L'injection de fautes permet à un attaquant de faire sortir le processeur cible de son comportement attendu. Une perturbation matérielle, via une injection de fautes, vise à induire des modifications logiques au niveau matériel ou logiciel, de manière à ce que le système cible atteigne des états inattendus ou suive des chemins d’exécution...
-
Permanent contract
Responsable intégration filière 3D
Le Laboratoire des Technologies d’Intégration 3D (LTI3D) du CEA-Leti rassemble une équipe d’experts en intégration hétérogène qui développe des solutions innovantes permettant d’associer des circuits et composants issus de technologies variées pour concevoir des architectures avancées, combinant des éléments More Moore (noeuds avancés) et More than Moore (analogiques, capteurs, RF, puissance…). Ces développements sont au cœur des systèmes de calcul haute...
-
Fixed term contract
Research Engineer in optimization and Design Space Exploration for Next-Generation Computing Systems H/F
IN SUMMARY, WHAT DO WE OFFER YOU? We are looking for an Research Engineer in optimization and Design Space Exploration for Next-Generation Computing Systems. This position in fixed-term contact is based at Nano-Innov (CEA Paris-Saclay), Essonne (91). This position is available as soon as possible. Context Modern computing systems ranging from high-performance computing (HPC) to embedded...
-
Fixed term contract
Apprentissage profond pour applications soutenables H/F
Dans le contexte actuel des changements environnementaux, pour réduire les émissions de gaz à effet de serre comme le CO2, préserver la biodiversité, réduire la pollution, mieux gérer l'eau, etc., la solution n'est pas uniquement technologique. Cependant, cela ne signifie pas que la technologie n'a aucun rôle à jouer. Au contraire, elle peut être un...
-
Fixed term contract
Post-doctorat en deep-learning et soutenabilité F/H
"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)-chercheur(se) en apprentissage profond pour applications soutenables. Ce poste de cadre en CDD/post-doctorat est basé sur...
-
Fixed term contract
CDD - Ingénieur dispositifs ferroélectriques H/F
Dans le cadre de ce poste, vous travaillez sur des dispositifs ferroélectriques innovants dédiés à la mémoire et au calcul. Notre but est de développer une nouvelle technologie mémoire dense, rapide et endurante pour soutenir les applications émergentes, notamment en Intelligence Artificielle. Votre mission principale consiste à concevoir, caractériser électriquement, optimiser des dispositifs ferroélectriques fabriqués au Leti...
-
Fixed term contract
CDD - Ingénieur conception de circuit mémoire H/F
Vous avez envie de contribuer à des avancées technologiques majeures dans un environnement de recherche dynamique et collaboratif ? Rejoignez notre laboratoire multidisciplinaire et participez au développement de circuits mémoire de nouvelle génération au sein d’une équipe d’experts passionnés. Vos principales missions : Concevoir des circuits mémoire innovants, en lien étroit avec les équipes de...
-
Internship
Stage en systèmes embarqués pour l'instrumentation nucléaire H/F
Le stage est proposé par l’équipe Imagerie des Rayonnements Ionisants du Laboratoire Capteurs et Instrumentation pour la Mesure. L’imagerie des rayonnements, essentielle dans des domaines tels que la radioprotection, le démantèlement ou les interventions en situations accidentelles, repose sur des détecteurs pixellisés couplés à des semi-conducteurs. Les travaux de stage visent à l’amélioration voir à...
-
Permanent contract
Ingénieur-Chercheur Evaluateur Conformité & SCA H/F
Le laboratoire CESTI est missionné par l’ANSSI (Agence Nationale de la Sécurité des Systèmes d'Information) pour l'évaluation sécuritaire de produits électroniques. Composé actuellement d’environ 30 personnes, évaluateurs en sécurité des TIC de très haut niveau technique, il met en œuvre des bancs de test et techniques d’évaluation à l'état de l'art. Le CESTI Leti a...
-
Fixed term contract
Des LLM pour optimiser la conception en électronique radiofréquence et microélectronique H/F
Le Poste : L'objectif de l'expérimentation est de déployer des outils d'IA générative et d'évaluer leurs apports sur plusieurs cas d'utilisation déjà identifiés. Cette évaluation nécessite d'exploiter des modèles d'IA générative, en particulier de type Large Langage Model (LLM), pour assister les équipes de concepteurs dans leurs activités quotidiennes. Ce poste se focalise tout particulièrement...
-
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...
-
Fixed term contract
Ingénieur chercheur en conception circuits intégrés RF et millimétriques H/F
Les Objectifs : Ce poste d’Ingénieur chercheur en conception de circuits intégrés RF et millimétriques a pour objectif : 1.D’accompagner un projet struc du CEA Leti au travers la participation à la conception de démonstrateurs RF entrant dans les chants d’applications tel que les communications 5/6G, l’infrastructures réseaux, les radars et l’IoT. 2.De concevoir des blocs...