Offre d'emploi Doctorant F/H Interoperability of proof systems based on higher-order logic (F/M) Date limite pour postuler 30/09/2024
Offre d'emploi Ingénieur développement logiciel spécialiste en calcul scientifique Date limite pour postuler 31/08/2024
Offre d'emploi Post-Doctorant F/H Fondements mathématiques de l'analyse topologique des données pour l'apprentissage machine. Date limite pour postuler 30/08/2024
Offre d'emploi Post-Doctorant F/H Comparaison de méthodes d'inférence pour l'importance de variables. Date limite pour postuler 01/07/2024
Offre d'emploi Post-Doctorant F/H Post-Doctorant F/H Visualisation des parcours de soins pour le health-data-hub Date limite pour postuler 31/08/2024
Offre d'emploi Doctorant F/H Doctorant(e) - Régularité de Castelnuovo Mumford des codes en métrique rang Date limite pour postuler 31/08/2024
Offre d'emploi Doctorant F/H Inter-system translation of recursive functions (M/F) Date limite pour postuler 30/09/2024
Offre d'emploi Post-Doctorant F/H Protection des données personnelles et sensibles basée sur l'informatique de confiance Date limite pour postuler 30/08/2024
Offre d'emploi Doctorant F/H Thèse de doctorat : Outils de protection de la vie privée pour la désinfection de contenu à l'aide de grands modèles de langage – Application au harcèlement scolaire et à la collecte participative Date limite pour postuler 30/09/2024
Equipe-projet DATASHAPE Comprendre la forme des données DataShape est un projet de recherche dans le domaine de l'Analyse Topologique des Données. Il s'agit...
Equipe-projet LIFEWARE Computational systems biology and optimization Le projet Lifeware vise à développer des méthodes formelles pour comprendre la machinerie cellulaire...
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...
Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...