Direction scientifique
Transfert de connaissances vers l'industrie

Nos Thèses par thème

Défis technologiques >> Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique
8 proposition(s).

Toutes les offres [+]

Electronique sans contact dans un environnement haute-température soumis aux radiations

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Intégration Gestion d'Energie Capteurs et Actionneurs

Master 2 microélectronique, mécatronique, physique du solide

SL-DRT-20-0249

gael.pillonnet@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

L'objectif est de proposer de nouveaux types de schémas électroniques à partir d'un dispositif robuste à la température : la capacité variable électromécanique à actionnement électrostatique fabriquée à partir de technologies MEMS éprouvées. Ce type de dispositif est l'élément de base d'une nouvelle famille d'électronique récemment introduites par le CEA-Léti dite « électronique sans contact ». Ce programme de recherche s'inscrit dans une approche en rupture par rapport aux circuits électroniques à base transistors en réduisant drastiquement la dépendance à la température, permettant d'envisager des tenues en température de plusieurs centaines de dégrée centigrades. A partir des premiers résultats de simulations et de caractérisations expérimentales de l'équipe, le doctorant proposera, modélisera, simulera, fabriquera et caractérisera de nouvelles combinaisons de structures pour valider la tenue à la température et aux radiations. Le programme de recherche implique des partenaires à l'expertises diverses, tels que des experts en salle blanche, de l'électronique durcie, des circuits intégrée, des systèmes électromécanique et des circuits intégrés.

Télécharger l'offre (.zip)

Intégration de réseaux de neurones à base d'oscillateurs verrouillés par injection

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Intégration Gestion d'Energie Capteurs et Actionneurs

Ecole Ingénieur Electronique

01-09-2020

SL-DRT-20-0418

franck.badets@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

Les réseaux de neurones ont fait la preuve de leur supériorité par rapport aux architectures de calcul de type Von Neumann pour les opérations de classification complexes. L'embarquement de réseaux de neurones proche du capteur (Edge IA) est souhaitable car elle permettrait de réduire la consommation d'énergie des réseaux de capteur sans fil en donnant plus d'autonomie de décision aux capteurs et en limitant le nombre de communication nécessaires entre les capteurs et le centre de ressource en calcul. Il existe actuellement un axe de recherche visant à diminuer sensiblement la consommation des neurones afin de répondre aux besoins de l'Edge IA. A côté des implémentations purement numériques, des solutions analogiques voient le jour. Le but de la thèse est de démontrer la faisabilité de l'intégration sur silicium d'un réseau de neurones Ultra Faible Consommation utilisant des Oscillateurs Verrouillés par Injection (ILO) comme neurone. Le candidat à cette thèse doit avoir une bonne connaissance des domaines de l'apprentissage statistique et des réseaux de neurone en particulier. Il doit également avoir un bon niveau en électronique analogique. L'approche théorique nécessitera de bonnes aptitudes mathématiques et une bonne connaissance des langages de modélisation tel que python. Le travail de thèse doit aboutir à l'intégration d'un réseau de neurones à ILOS sur silicium ainsi qu'à la démonstration de sa capacité d'apprentissage, pour une consommation à l'état de l'art.

Télécharger l'offre (.zip)

Modélisation multi-échelle de l'environnement électromagnétique de bits quantiques

Département Composants Silicium (LETI)

Laboratoire de Simulation et Modélisation

Master 2 ou école d'ingénieur physique,electronique, électrotechnique

01-10-2020

SL-DRT-20-0637

helene.jacquinot@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

Modélisation multi-échelle de l'environnement électromagnétique de bits quantiques Dans un futur proche, les technologies de l'information quantique pourraient amener à des percées dans le monde de l'informatique et des communications. Parmi les différentes approches basées sur les semi-conducteurs, l'utilisation de bits quantiques (qubit) sur SOI (Silicon on Insulator) est une approche alternative aux qubits supraconducteurs [1]. En effet, les qubits de spin sur SOI sont beaucoup plus compacts et ont montrés ces dernières années des avancées considérables, avec un long temps de cohérence et une rotation rapide du spin. Un défi à relever à l'heure actuelle est d'étudier la possibilité d'étendre le nombre de dispositifs unitaires au sein du réseau de qubit de spin sur SOI, en prenant en compte la plateforme électronique en technologie CMOS, permettant le contrôle, la lecture et l'initialisation de l'état quantique des qubits [2]. L'objectif principal de la thèse est d'évaluer différentes stratégies pour l'implémentation du contrôle de spin par utilisation de signaux micro-ondes dans le cadre de réseaux bidimensionnels de qubits. Le candidat aura pour mission de i) caractériser des structures de test RF (radiofréquence) à très basse température en utilisant un équipement à l'état de l'art et comparer les résultats obtenus avec des simulations électromagnétiques spécifiques, ii) développer une boîte à outils pour permettre une optimisation multi-échelle allant du qubit unitaire au réseau de qubits, iii) intégrer le contrôle RF du spin dans le cadre d'un réseau bidimensionnel de qubits utilisant les technologies silicium du CEA-LETI. Ces travaux de thèse s'effectueront dans le cadre d'un projet de collaboration tripartite ente le CEA-LETI, le CEA-IRIG et le CNRS-Institut Néel (ERC ?Qucube?). [1] Maurand, R. et al. A CMOS silicon spin qubit, Nat. Communications 7, 13575 (2016). [2] Meunier, T. et al. Towards scalable quantum computing based on silicon spin, Symp. on VLSI Technology, 2019.

Télécharger l'offre (.zip)

Informatique quantique pour applications logistiques et industrielles

Département Ingénierie Logiciels et Systèmes (LIST)

Labo. ingénierie des langages exécutables et optimisation

Master / Computer Science Engineering / Mathematics

01-03-2020

SL-DRT-20-0791

florian.noyrit@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

L'informatique quantique semble prometteuse pour résoudre des problèmes algorithmiques que l'informatique classique ne peut résoudre en raison de leur complexité. Cependant, malgré ses promesses et le développement récent des technologies quantiques, les applications industrielles de l'informatique quantique sont jusqu'à présent limitées. Néanmoins, les développements récents de certains algorithmes quantiques (par exemple, Variational Quantum Eigensolver [1], Quantum Approximate Optimization Algorithm [2]), fonctionnant sur des dispositifs existants ou à venir (NISQ - Noisy Intermediate-Scale Quantum) [3], suggèrent de nombreuses opportunités pour des applications à court/moyen terme pour résoudre certains problèmes d'optimisation. La logistique et l'ingénierie industrielle sont des domaines d'application qui proposent des problèmes d'optimisation (ordonnancement, planification, routage?) complexes à résoudre par algorithmique classique. Certaines analyses théoriques et expériences préliminaires [4] ont déjà permis d'identifier des pistes d'applications viables pour les techniques d'informatique quantique. Toutefois, comme il s'agit d'un sujet de recherche vivant, les connaissances sur ces sujets sont dispersées, instables (de nouveaux algorithmes sont proposés fréquemment), parfois spéculatives et pas encore généralisées. Nous proposons donc d'explorer l'application des techniques récentes d'informatique quantique (notamment les algorithmes hybrides et compatibles NISQ) à certains problèmes d'optimisation issus de nos projets industriels. Les objectifs de ce travail de recherche seront les suivants: ? Sélectionner des problèmes d'optimisation pertinents parmi nos projets en cours ou passés dans les domaines de la logistique et de l'ingénierie industrielle. ? Sélectionner des algorithmes quantiques applicables à ces problèmes à partir de l'état de l'art et la pratique et les mettre en ?uvre. ? Adopter ou concevoir un cadre d'analyse comparative qui puisse évoluer avec les progrès dans le domaine de l'optimisation basée sur l'informatique quantique : optimisation en temps de calcul, taille des problèmes, dimension de la machine, ... ? Evaluer la viabilité technique à travers des expériences concrètes. L'évaluation visera notamment à analyser les facteurs d'applicabilité tels que les propriétés de convergence des algorithmes, l'impact de la formulation du problème sur l'efficacité, l'influence de l'architecture matérielle. Plus généralement, l'évaluation doit donner des indications sur les seuils qualitatifs ou quantitatifs (nombre de qubits [5], connectivité, bruit?) qui rendent l'algorithme viable sur les périphériques NISQ (existants ou à venir). ? Proposer et développer des solutions pour rendre viable les algorithmes. Par exemple en adaptant ou étendant les algorithmes, en proposant des réécritures des formulations des problèmes, en mettant en ?uvre un flot de compilation particulier, en adaptant l'architecture de la plateforme d'exécution... Ce travail implique l'accès à des dispositifs d'informatique quantique réels ou émulés pour exécuter les expériences. Des expériences devraient être menées sur diverses plates-formes. [1] A variational eigenvalue solver on a photonic quantum processor, Peruzzo et Al., 2013 [2] A Quantum Approximate Optimization Algorithm, Edward Farhi and Jeffrey Goldstone and Sam Gutmann, 2014 [3] Quantum Computing in the NISQ era and beyond, John Preskill, 2018 [4] Quantum Computing Algorithms for optimised Planning & Scheduling (QCAPS), Dr Roberto Desimone et Al. 2019 [5] Guerreschi, G. G., & Matsuura, A. Y. (2019). QAOA for Max-Cut requires hundreds of qubits for quantum speed-up. Scientific reports, 9(1), 6903. On attend du candidat des connaissances dans un ou plusieurs des domaines suivants : ? Information et calcul quantique ? Optimisation combinatoire ? Algèbre linéaire ? Complexité algorithmique

Télécharger l'offre (.zip)

Conception d'un imageur intelligent en technologie d'intégration 3D embarquant des fonctions de traitement par réseau de neurones

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Adéquation Algorithmes Architecture

master recherche systèmes embarqués

01-10-2020

SL-DRT-20-0855

stephane.chevobbe@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

La technologie d'intégration 3D permet d'envisager sérieusement la réalisation de capteurs d'images par empilement de couches successives et ainsi proposer des imageurs intelligents couplant une couche capteur à des éléments de calcul complexe. Par ailleurs, l'avènement des réseaux de neurones profond a permis de faire des gains en performances très importants, notamment dans le domaine du traitement d'image. Un grand nombre de recherches tentent de proposer des architectures embarquées efficaces pour l'exécution de réseaux de neurones. Dans ce contexte la réalisation des fonctions de calcul permettant l'exécution de réseaux de neurones au sein d'un imageur intelligent est une voie de recherche particulièrement prometteuse. Dans cette proposition de thèse nous souhaitons étudier d'un point de vue architectural l'apport des technologies d'intégration 3D dans un imageur intelligent intégrant des fonctions de traitements par réseaux de neurones. Dans cette proposition de thèse nous souhaitons étudier d'un point de vue architectural l'apport des technologies d'intégration 3D dans un imageur intelligent intégrant des fonctions de traitement par réseaux de neurones. Nous focaliserons cette étude principalement sur les réseaux de neurones profonds, cependant d'autres types de réseaux de neurones pourront être évalués. La contribution architecturale attendue de cette thèse est l'étude et la conception d'une architecture de calcul efficace et basse consommation répondant aux fortes contraintes imposées par les réseaux de neurones profonds, à savoir le besoin d'une grande puissance de calcul très régulière et le très grand besoin en mémoire

Télécharger l'offre (.zip)

Communications haut débit filaires et optiques à températures cryogéniques pour l'ordinateur quantique

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Intégration Silicium des Architectures Numériques

Master en microélectronique

01-09-2020

SL-DRT-20-0892

yvain.thonnart@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

La promesse de l'ordinateur quantique universel robuste aux erreurs de relaxation et de phase des qubits pose un problème majeur de passage à l'échelle, avec des milliers voire des millions de qubits à contrôler et à mesurer pour réaliser les codes correcteurs d'erreur nécessaires. L'information à échanger entre les dispositifs quantiques à température cryogénique et les équipements d'instrumentation à température ambiante nécessite des débits pouvant dépasser 1 Terabit/s, à réaliser dans un budget de puissance restreint pour limiter l'auto-échauffement. Cette thèse a pour objectif de proposer et réaliser des architectures et circuits de communication à haut débit efficaces en énergie, en s'appuyant sur une transmission en fibre optique entre le cryostat et la température ambiante. Les innovations visées portent sur la conception de circuits cryo-électroniques CMOS utilisant la technologie FDSOI pour réaliser des fonctions de SerDes, récupération d'horloge et pilotes de modulateurs et récepteurs en photonique sur silicium fortement couplés aux dispositifs quantiques. Les travaux s'intégreront dans un objectif de développement d'une architecture d'accélérateur de calcul quantique à base de spins d'électrons dans le silicium, développée par une équipe pluridisciplinaire de physiciens, technologues, concepteurs en microélectronique et d'architectes et informaticiens.

Télécharger l'offre (.zip)

Instrumentation automatique de circuits pour le projet de systèmes fiables

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Calcul Embarqué

Master recherche informatique, analyse numérique, electronique

01-09-2020

SL-DRT-20-0901

chiara.sandionigi@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

Les circuits tolérants aux fautes sont actuellement nécessaires dans plusieurs secteurs d'application majeurs et vont être obligatoires dans de futurs domaines comme les véhicules autonomes. Des outils de CAO sont nécessaires pour automatiser l'insertion de mécanismes tolérants aux fautes et valider les propriétés de fiabilité du circuit. L'injection de fautes est apparue comme une solution largement acceptée pour le plan de qualification de projet, mais avec divers défis. En particulier, l'analyse de propagation des fautes n'est pas assez précise ou implique trop de overhead en termes de temps de calcul. L'objectif de la thèse est l'implémentation d'un outil de CAO pour l'instrumentation automatique de circuits intégrés pour une analyse efficace de la propagation des fautes après injection. L'instrumentation modifie le circuit par insertion de pièces matérielles pour fournir control extérieur et observation des effets des fautes. En plus de l'analyse de propagation des fautes, l'instrumentation du circuit permet d'effectuer la détection des fautes et la correction des erreurs pendant le fonctionnement du système. Le candidat doit avoir une expérience dans la conception de systèmes embarqués et une connaissance dans le domaine de la fiabilité des circuits.

Télécharger l'offre (.zip)

Acquisition codée et nouveaux paradigmes d'acquisition pour capteur d'images CMOS en imagerie active

Département Architectures Conception et Logiciels Embarqués (LIST-LETI)

Laboratoire Circuits Intégrés, Intelligents pour l'Image

Ingénieur électronique, optique

01-10-2020

SL-DRT-20-0917

arnaud.verdant@cea.fr

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique (.pdf)

Un éclairage actif combiné à des capteurs d'images offre la possibilité d'extraire une grande quantité de caractéristiques de la scène observée, qui ne sont généralement pas accessibles aux approches standard d'acquisition d'images. Cette modalité est désormais largement répandue dans la vision industrielle par ordinateur, l'électronique grand public et les applications d'imagerie médicale. Cependant, des défis majeurs doivent encore être résolus pour augmenter les performances de ces appareils, et de nombreuses questions de recherche associées doivent être abordées, en ce qui concerne les choix de la stratégie de modulation et de mesure, l'architecture du capteur ou les techniques de traitement du signal à employer pour l'analyse des données. L'objectif de cette thèse est d'aborder conjointement ces questions en proposant d'abord un cadre de simulation visant à trouver les meilleurs compromis entre les approches de modulation de la lumière et de reconstruction du signal recherché. Ensuite, le développement du système qui s'adaptera le mieux aux spécifications dérivées en fonction des caractéristiques typiques de la scène (comportement de la lumière balistique ou diffuse, gamme de profondeur et résolution, niveaux de lumière ambiante?) sera abordé. Cette thèse sera structurée en deux parties principales. La première partie tendra à définir un cadre d'exploration basé sur une combinaison de modélisation physique, de mesures physiques et d'approches d'apprentissage en profondeur. Sur la base de cet outil, la deuxième partie sera consacrée au développement d'une architecture de capteur d'image utilisant les spécifications dérivées. Le doctorant bénéficiera au cours de sa thèse de 3 ans de l'expertise et de l'excellence scientifique du CEA Leti pour atteindre des objectifs à haut niveau d'innovation à travers des brevets et publications internationales. Le candidat dynamique et autonome aura un master ou un diplôme d'ingénieur, spécialisé en génie électrique et traitement du signal. Une bonne connaissance de la conception de circuits CAO et des outils de programmation sera importante (Cadence, Matlab, Python) et quelques notions de base en optique seront appréciées.

Télécharger l'offre (.zip)

Voir toutes nos offres