Emplois

  • [postdoc 2022] Chercheur postdoctorant en IA pour la découverte de matériaux
  • [Sujet de thèse 2022] Programmation quantique avec types (co)inductifs
  • [Sujet de thèse] Vérification de propriétés temporisés liées à la cybersécurité à l’aide des méthodes formelles
  • [thèse 2022] Logiques de ressources non agrégatives: modèles et calculs.
  • [thèse] Auto-organisation et apprentissage guidé sur circuit neuromorphique
  • [Thèse] Modélisation de l’interaction au niveau des thèmes dans les conversations pathologiques
  • [Proposition thèse] Modèles d’apprentissage automatique pour la prédiction et la réduction de l’espace de recherche des procédés de séparation gazeuses et liquides
  • [Thèse TYPES]: Preuves et réfutations en logiques de ressources.
  • [Thèse] Modélisation de paraphrase dans les grammaires catégorielles abstraites
  • [Thèse] Vers une architecture neuronale décentralisée de cartes auto-organisatrices
  • [proposition de thèse] Étude du problème de la réduction de dettes mutuelles entre entreprises
  • [thèse 2022] Vers une approche événementielle de l’émergence de comportements
  • Proposition de thèse : Enumération et formes limites des tables d’inversions évitant des motifs
  • [Doctorant F/H] Modèles non gaussiens pour le traitement de signaux sonores par apprentissage profond
  • [sujet de thèse] Détection multimodale des contenus haineux
  • [sujet de thèse, TANGRAM]: Reconstruction sémantique in situ pour la réalité augmentée improvisée
  • [proposition de thèse] Explicabilité et interprétabilité en planification probabiliste
  • Proposition de thèse CIFRE : détection d’attaques réseau pour IoT par apprentissage automatique
  • Emplois non-permanents 2020-2021
  • Logo d'Inria