Offre d'emploi Ingénieur Recherche et Développement (H/F), Vérification formelle de programmes Rust Date limite pour postuler 31/05/2024
Offre d'emploi Ingénieur.e développement logiciel spécialiste en Python pour la simulation numérique - Modélisation numérique du système cardiovasculaire Date limite pour postuler 31/05/2024
Offre d'emploi Post-Doctorant F/H Résolution de problèmes d'optimisation convexe dans le contrôle prédictif non linéaire basés sur optimisation quadratique rapide Date limite pour postuler 30/06/2024
Equipe-projet TAU IA : vers des problèmes mieux posés Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
Equipe-projet PETRUS Cloud personnel sécurisé Nous assistons à une accumulation exponentielle de données personnelles sur des serveurs centraux...
Equipe-projet POEMS Propagation des Ondes : Etude Mathématique et Simulation L'activité générale de l'équipe est orientée vers la conception, l'analyse et l'approximation...
Equipe-projet MUSCA Dynamiques de populations multi-échelles pour des systèmes physiologiques MUSCA (Dynamiques de populations multi-échelles pour des systèmes physiologiques) est une équipe...
Equipe-projet PLATON Quantification des Incertitudes en calcul scientifique pour l’ingénierie PLATON est une équipe-projet Inria commune avec l'École Polytechnique et le CNRS, au sein du CMAP...
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...
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 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 AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...