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
Offre d'emploi Post-Doctorant F/H Chercheur postdoctoral en IA responsable pour le journalisme Date limite pour postuler 02/06/2024
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 Doctorant F/H Interoperability of proof systems based on higher-order logic (F/M) Date limite pour postuler 30/09/2024
Equipe-projet AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
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 DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet EX-SITU Interaction Située Extrême ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
Equipe-projet M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (prononcer "médicime") est une équipe-projet commune avec l'Ecole Polytechnique, au sein du...
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 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...