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 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 ILDA Interacting with Large Data Les jeux de données ne sont plus seulement de grande taille. Ils proviennent désormais de sources...
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 TRIBE Pour un Internet non-conventionnel TRiBE (inTeRnet BEyond the usual) est une équipe de recherche de l'INRIA Saclay - Ile de France...
Offre d'emploi Rust Embarqué et Mise-à -Jour Sécurisée des Logiciels pour les Systèmes Distribués à Basse Consommation Energétique Date limite pour postuler 30/06/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
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 Stagiaire de la recherche / Ingénierie logicielle / Preuves et vérification / Bac + 3 ou équivalent Date limite pour postuler 31/05/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 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...