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 Ingénieur Recherche et Développement (H/F), Vérification formelle de programmes Rust Date limite pour postuler 31/05/2024
Equipe-projet AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
Equipe-projet COMETE Vie privée, équité et robustesse dans la gestion de l'information L'équipe-projet COMETE étudie les concepts émergeant de l'ère moderne de l'informatique. La sécurité...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
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 CEDAR Analyse et traitement de données complexes à grande échelle Les applications à usage intensif de données de présentent un très grand degré d'hétérogénéité, dû...
Equipe-projet CELESTE statistique mathématique et apprentissage La science des données — un vaste domaine comprenant la statistique, l'apprentissage automatique, le...
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 MERGE Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence MERGE rassemble des chercheurs travaillant en mathématiques - plus précisément sur les processus...
Equipe-projet GAMMAO Génération Adaptative de Maillage et Méthodes numériques Avancées Gamma est une équipe de recherche spécialisée dans les technologies de maillage avancées et les...
Equipe-projet DISCO Systèmes dynamiques interconnectés dans des environnements complexes Le but de ce projet est de mieux comprendre et de bien formaliser les effets induits par les...