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

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

Voir plus