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