Offre d'emploi Doctorant F/H Certification of automated theorem provers for higher-order logic (F/M) Date limite pour postuler 30/09/2024
Offre d'emploi Apprenti(e) ingénieur(e)/développeur(se) en informatique embarquée/sécurisée Date limite pour postuler 30/09/2024
Offre d'emploi Doctorant F/H Doctorant·e en fairness sur des données séquentielles et parcours longitudinaux Date limite pour postuler 30/09/2024
Offre d'emploi Responsable de Service d’Expérimentation et de Développement Date limite pour postuler 30/11/2024
Offre d'emploi Tools for collection, context inference, trajectory reconstruction and contact inference Date limite pour postuler 31/12/2024
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 GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
Equipe-projet IDEFIX Solution d’ Equations Differentielles pour l’Imagerie et la physique L'activité de recherche de notre équipe est dédiée à la conception, l'analyse et l'implémentation de...
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 PETSCRAFT Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...