Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Offre d'emploi Post-Doctorant F/H Méthodes cut-cells avec interfaces minces dans le logiciel OpenRadioss Date limite pour postuler 01/07/2024
Equipe-projet HEPHAISTOS HExapode, PHysiologie, AssISTance et Objets de Service Le projet HÉPHAÏSTOS a été créé le 1er Janvier 2014. Il regroupe des chercheurs INRIA et des...
Offre d'emploi Doctorant F/H Private and Byzantine-Robust Federated Learning Date limite pour postuler 09/06/2024
Offre d'emploi Création d’un index distribué pour les données génomiques Date limite pour postuler 01/07/2024
Equipe-projet ECUADOR Transformations et outils informatiques pour le calcul scientifique L'équipe ECUADOR étudie la Différentiation Algorithmique (DA) de programmes, c'est à dire la...
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 ABS Algorithmes et Biologie Structurale La bioinformatique structurale est le domaine scientifique développant des méthodes algorithmiques...
Equipe-projet ACUMES Analysis and Control of Unsteady Models for Engineering Sciences Le projet se focalise sur l'analyse et le contrôle optimal de systèmes d'EDP instationnaires...
Equipe-projet MORPHEME Morphologie et Images Les objectifs scientifiques de MORPHEME sont la caractérisation et la modélisation du développement...
Equipe-projet WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics Le web est devenu un vaste réseau de données distribuées, d'applications et d'utilisateurs dans...