> Offres de formation > Offres de thèses

Toutes nos offres de thèses

Data intelligence dont Intelligence Artificielle

Vérification hors-ligne d'assertions à l'exécution

Notre équipe développe Frama-C (http://frama-c.com), une plateforme d'analyse de code C qui fournit plusieurs analyseurs de code. Frama-C est développé en OCaml. Il permet d'annoter des programmes C avec des spécifications formelles écrites dans le langage ACSL. Frama-C peut ainsi garantir qu'un ...

Cybersécurité : hardware et software

Attestation d'un temps écoulé en embarqué

Les objectifs de sécurité des objets connectés sont usuellement la Confidentialité, l'Intégrité et l'Authentification (CIA). Pourtant la garantie de ces objectifs n'empêche pas de changer l'ordonnancement des événements ou la durée séparant deux événements. Pour combler ces nouveaux besoins de sé...

Réseaux de communication, internet des objets, radiofréquences et antennes

Systèmes de communication à faible consommation d'énergie pour les réseaux cell-free MIMO massifs

Le Cell-free massive multiple-input multiple-output (CF-mMIMO) est une technologie clé de la future 6e génération de réseaux sans fil (6G). Cela représente une infrastructure de réseau alternative et constitue une piste de recherche solide pour améliorer l'efficacité énergétique (EE) et l'efficac...

Usine du futur dont robotique et contrôle non destructif

Réseaux de capteurs et Jumeaux numériques pour la Co-conception de systèmes mécatroniques

Dans le cadre du développement de ses activités de R&D sur les réseaux de capteurs et les jumeaux numériques (Digital Twins), le Laboratoire Autonomie et Intégration de Capteurs (DSYS/SSCE/LAIC) du CEA-LETI à Grenoble, propose une thèse sur les « Réseaux de capteurs et Jumeaux numériques pour la ...

Energie verte et/ou décarbonnée dont bioprocédés et valorisation des déchets

Culture de microalgues sur fumées industrielles

Les microalgues et les cyanobactéries photosynthétiques présentent l'intérêt de pouvoir transformer le CO2 en biomasse valorisable via la photosynthèse. Elles sont potentiellement capables de capter et de réutiliser les émissions de CO2 industrielles et de fait d'atténuer leur impact environnemen...

Réseaux de communication, internet des objets, radiofréquences et antennes

Techniques de focalisation en champ proche dans les milieux inhomogènes aux fréquences millimétriques

Dans des multiples applications telles que le transfert d'énergie sans fil, l'imagerie micro-ondes, le contrôle industriel, etc., il est nécessaire de former, diriger ou encore focaliser le rayonnement électromagnétique dans une région spécifique de l'espace. Cette région peut se situer dans l'en...

Data intelligence dont Intelligence Artificielle

Allocation de ressources basée sur la communication, le calcul et la mise en cache pour MEC dans les réseaux mobiles

La prise en charge MEC à faible latence, ultra-fiable et économe en énergie est un pilier fondamental pour les réseaux 5G et futurs 6G. Néanmoins, l'allocation conjointe optimale et fiable des ressources de communication, de calcul et de mise en cache (C3) dans le temps et dans l'espace reste un ...

Nano-caractérisation avancée

Caractérisation de paramètre, étude de variabilité et tests de dispositifs quantiques à temperature cryogénique

Contexte: Une façon naturelle de réaliser des dispositifs quantiques à grande échelle consiste à les organiser en tableaux avec un couplage entre voisins les plus proches. Pour un processeur quantique à base de semi-conducteur, l'information quantique est encodée dans le spin d'une charge unique,...

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique

Thèse- Interconnexions 3D Supraconductrices pour Applications Quantiques

Le projet Quantum Silicon Grenoble, incluant le CEA-LETI, CEA-IRIG et l'Institut Néel, vise à réaliser un ordinateur quantique à base de bits quantiques (qubits) en silicium. Les conditions de fonctionnement des qubits (températures cryogéniques = 1K, hautes fréquences de l'ordre du GHz, forte de...

Cybersécurité : hardware et software

Méthodes d'apprentissage profond diversement supervisé pour les attaques par canaux auxiliaires

Les produits sécurisés grâce à des mécanismes cryptographiques embarqués peuvent être vulnérables aux attaques par canaux auxiliaires. Ces attaques se basent sur l'observation de certaines quantités physiques mesurées pendant l'activité du dispositif, comme la consommation de puissance, le rayonn...

Systèmes cyberphysiques - capteurs et actionneurs

Analyse des effets des interférences sur la prévisibilité temporelle des architectures many-coeurs

Un nombre croissant de systèmes critiques tels que les véhicules autonomes, l'avionique et les dispositifs médicaux sont exécutés sur des architectures comportant un grand nombre de c?urs, et interagissant en temps réel avec leur environnement. Etant donné que les conséquences d'une défaillance d...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

Ajustement électrique de la dynamique de capteurs MEMS

Les microsystème électromécaniques (MEMS) apportent des gains importants (consommation, encombrement, précision) pour remplacer les capteurs de taille macroscopique dans de nombreuses applications (accéléromètre, capteur de gaz, référence de temps, spectroscopie, radar ultrasonore?) et ouvrent de...

Data intelligence dont Intelligence Artificielle

Traitement de signal microphone Ultra Low Power et Hautes Performances pour la localisation de locuteur et la détection d'attention dans un auditoire : application aux prothèses auditives de nouvelle génération

La perte d'audition est un problème de santé publique majeur, et affecte environ 10% de la population mondiale. Ce handicap impacte fortement le confort de vie des patients qui en sont atteints, dans de nombreux aspects de leur vie. De plus, avec une stimulation accrue sur de longues périodes de ...

Cybersécurité : hardware et software

Implémentation HW/SW sécurisée et optimisée pour la cryptographie post-quantique agile basée sur les réseaux euclidiens et les codes-correcteurs

La cryptographie post-quantique est en plein essor. En cause, les avancées sur l'ordinateur quantique et l'initiative du NIST visant des premiers standards de primitives post-quantiques d'ici 2024. Cette nouvelle cryptographie entraîne une transition scientifique et industrielle du désormais vast...

Data intelligence dont Intelligence Artificielle

Méthodes d'apprentissage et de classification basées tactile pour la planification et la vérification de tâches ? applications en manipulation robotique pluridigitale et bimanuelle

La manipulation robotique d'objets requiert en premier lieu une planification de prise de ces objets, qui est fonction de paramètres caractéristiques du préhenseur et de la tâche à effectuer (tels que les zones d'accessibilité ou le niveau et la direction des efforts pouvant être impliqués dans l...

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique

Conception d'un Système Mémoire pour Traitement de Données Creuses

Les performances des processeurs utilisés pour le calcul scientifique et pour l'apprentissage automatique s'améliorent en continu. L'exploitation du parallélisme est un facteur clef pour la performance, mais cette approche convient surtout aux données organisées régulièrement. La plupart des cal...

Data intelligence dont Intelligence Artificielle

Simplifier l'intelligence artificielle : apprendre des représentations interprétables

Le domaine de l'intelligence artificielle est aujourd'hui dominé, en volume, par la recherche sur les réseaux de neurones profonds. En effet, il y a une dizaine d'années, ces derniers ont permis d'améliorer le traitement de problèmes réputés difficiles, notamment en vision par ordinateur et ont, ...

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique

Réseau d'interconnexion auto-adaptable et fiable pour les architectures IA

Les algorithmes d'apprentissage profond tels que les réseaux neuronaux convolutifs (CNN, Convolutional Neural Networks) sont utilisés pour de nombreuses applications de reconnaissance et/ou de classification d'images. Ces CNNs sont composés de plusieurs couches qui engendrent d'importants mouveme...

Data intelligence dont Intelligence Artificielle

Réseau de neurones embarqué multi-tâches pour la détection et le suivi d'objets en temps réel

Le sujet de thèse proposé se situe dans le domaine de la perception embarquée pour la détection et le suivi d'objets dynamiques (personnes, voitures, cyclistes...) en temps-réel. Issus d'informations visuelles provenant de différents capteurs, suivre un objet nécessite la combinaison de plusieurs...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

Mémoires ferroélectriques haute performance et basse consommation pour applications d'Intelligence artificielle de type calcul en mémoire

Les mémoires dites « ferroélectriques », nommées FeRAM en anglais (Ferroelectric Random Access Memories), émergent comme une alternative prometteuse pour remplacer les mémoires non-volatiles à accès rapide (<1µs), nécessaires à toutes architectures de calcul, notamment celles munies de mémoires d...

Cybersécurité : hardware et software

Transchiffrement homomorphe optimisé et efficace

Dans le contexte des applications utilisant directement des données cryptées (Fully Homomorphic Encryption ou FHE), le transchiffrement permet d'éviter la forte expansion de la taille des données chiffrées, grâce à l'utilisation de la cryptographie symétrique. En effet, le transchiffrement est un...

Data intelligence dont Intelligence Artificielle

Algorithmes d'apprentissage DNN quantifiés à surcoût matériel limité en vue d'une implémentation Edge

L'intelligence à l'Edge vise à pousser le calcul effectué sur les données en périphérie pour des raisons énergétiques et de sécurité. En découle l'implémentation de matériel co-optimisé pour l'inférence de réseaux de neurones artificiels (ANN) plus ou moins profonds (DNN) et qui vise un calcul au...

Cybersécurité : hardware et software

Outils pour garantir l'intégrité des solutions de cybersécurité basées sur du chiffrement homomorphe

Le chiffrement homomorphe est une technique cryptographique permettant de réaliser des traitements directement sur des données chiffrées, sans avoir à les déchiffrer. Ainsi, le chiffrement homomorphe reste un des moyens les plus séduisants pour assurer la confidentialité des données lors de leur ...

Data intelligence dont Intelligence Artificielle

L'IA à faible consommation pour la modélisation de l'incertitude

Les modèles d'IA, notamment les réseaux neuronaux profonds, sont de plus en plus intégrés dans les systèmes pratiques dans divers secteurs. Dans certains domaines, les véhicules autonomes et les dispositifs médicaux par exemple, ces modèles sont chargés de prendre des décisions critiques. Cependa...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

Etude de l'interaction plasma / surface pour développer des procédés innovants de collages directs

En microélectronique, l'élaboration de structures SOI (Silicon On Insulator) pour la fabrication de circuits intégrés de nouvelle génération s'appuie souvent sur la technologie de collage par adhérence moléculaire. Cette technique repose sur le collage direct de deux surfaces à l'aide de procédés...

Nano-caractérisation avancée

Mesures Overlay pour les technologies avancées

L'Overlay (OVL) est un des paramètres clef à suivre au cours de la fabrication de composants de microélectronique. Actuellement, cette grandeur est suivie par des techniques d'imagerie ou par scatterométrie. Pour les technologies les plus avancées - CMOS10nm et au-delà - ces techniques bien que ...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

Impact du design et de la composition de puits quantiques InGaN sur les performances des micro-LEDs

La croissance et la fabrication de LED InGaN/GaN a atteint un excellent degré de maturité grâce à leur utilisation dans le domaine de l'éclairage. Leur robustesse et leur grande efficacité en font une solution de choix pour réaliser des micro-écrans de haute luminance et de haute résolution pour ...

Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique

Calcul hyper-dimensionnel pour la reconnaissance de gestes à partir de signaux biologiques (intelligence artificielle)

Ce travail de thèse propose d'étudier un nouveau paradigme de calcul appelé « calcul hyperdimensionnel ». Développé et utilisé pour les applications de l'intelligence artificielle, ce nouveau paradigme, qui s'inspire des modèles d'activité neuronale, s'appuie sur l'utilisation de grands vecteur...

Nano-caractérisation avancée

Caractérisation avancée de recombinaison de porteurs sur structure HEMT AlGaN/GaN, comprehension de l'évolution des materiaux de l'épitaxie à la gravure

La présence d'un gaz d'électrons bi-dimensionnel (2DEG) dans les hétérostructures AlGaN/GaN permet de produire des transistors à haute mobilité électronique (HEMTs) qui sont naturellement normally-ON. Cependant dans le domaine de l'électronique de puissance, il est nécessaire d'utiliser des trans...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

Influence des propriétés physiques des matériaux sur leur mécanisme de fracture

Une des activités du laboratoire concerne le développement de la technologie Smart-CutTM, en partenariat avec la société SOITEC. La technologie Smart-CutTM est une technique originale de report de couches minces. Elle est basée sur l'implantation d'ions légers, le collage par adhésion moléculaire...

Data intelligence dont Intelligence Artificielle

Caractérisation à basse température de mémoires émergentes pour co-optimisation CMOS et/ou pour des applications de calcul dans les mémoires

Récemment il a été prouvé dans la littérature scientifique que l'utilisation des technologies CMOS à température cryogéniques augmente leur vitesse opérationnelle. Leur utilisation dans l'aérospatiale mais aussi dans les secteurs des serveurs à haute performance, le quantum computing et les data ...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

CRYO Back-end of line pour les applications quantiques

La fabrication des Qbits de spin et supraconducteurs demande la mise en place d'un routage métallique à courte distance (Back-end of line ? BEOL) et localisé compatible en radiofréquence et fonctionnant à très basse température (au-dessous de la TC). Il existe à ce jour des intégrations BEOL basé...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

Architecture de composants de puissance verticaux en GaN épitaxié sur substrats étrangers

Les composants de puissance à base de nitrure de gallium (GaN) connaissent actuellement un succès croissant de part leurs propriétés électriques qui permettent d'augmenter l'efficacité énergétique et de réduire la taille des convertisseurs de puissance. Les composants verticaux en GaN permettent...

Matériaux et procédés émergents pour les nanotechnologies et la microélectronique

Matériaux ferroelectriques par ALD pour mémoires non volatiles embarquées

Le CEA-LETI se positionne comme leader des mémoires FeRAM ultrabasses consommations compatibles BEOL pour les applications IoT et IA. Avec une consommation électrique < 100 fJ/bit écrit ou lu (typiquement 1000x moins qu'une mémoire Flash), ce type de mémoires non volatiles est aujourd'hui la moin...

Voir plus