Offre d'emploi Ingénieur scientifique contractuel / Réseaux et télécommunications F/H Date limite pour postuler 12/07/2024
Action Exploratoire AVoCat Vérification Automatique de Programmes Catala Catala est un nouveau langage de programmation, conçu pour être compréhensible par les juristes et...
Action Exploratoire CircleD Réutilisation structurelle assistée par ordinateur pour la conception circulaire Résumé: La conception circulaire vise à prolonger la durée de vie des produits industriels grâce à...
Action Exploratoire COSMOGRAM De nouvelles fondations géométriques pour explorer la forme de l'Univers - un galop d'essai Le projet Cosmogram a pour objectif de développer de nouveaux outils algorithmiques pour explorer la...
Action Exploratoire DisEvo Algorithmes distribués sur données évolutives Dans ce projet, nous concevrons des algorithmes et des techniques pour divers problèmes distribués...
Action Exploratoire E-MOTS Modélisation économique de stratégie de ciblage Les réseaux sociaux conduisent à des comportements stratégiques dans un monde d'information...
Action Exploratoire ECOPTICS Modélisation de l’Apparence Visuelle pour l’Écologie Comportementale Le projet ECOPTICS ambitionne de contribuer à percer certains mystères entourant la compréhension de...
Action Exploratoire HLI Humanlab Inria L'action exploratoire Humanlab Inria (HLI) a pour ambition de créer un modèle de collaboration entre...
Action Exploratoire IMPROOF Manipulation directe pour la démonstration et l'exploration de théorèmes Nous cherchons à trouver des mécanismes universels pour le développement de preuves interactives qui...
Défi Inria OVHCloud Eco-conception de bout en bout d’un cloud pour en réduire les impacts environnementaux
Action Exploratoire KoopduMonde Modélisation par l'opérateur de Koopman de systèmes dynamiques non-linéaires pour les méthodes d'ensemble Les méthodes de prévision dites "d'ensemble" en océanographie et en météorologie s'appuient sur un...
Action Exploratoire LearnToOpt Au-delà de l'optimisation basée sur le gradient Le contexte général de ce projet est l’optimisation numérique de problèmes difficiles qui peuvent...
Défi LiberAbaci L'outil de preuve interactif Coq et l'enseignement des maths Les outils interactifs de preuves sur ordinateur comme le logiciel Coq ont acquis une reconnaissance...
Action Exploratoire MRF-zero Optimisation de séquences d'acquisition pour l'IRM fingerprint par contrôle optimal L'IRM fingerprint (MRF) est une technologie récente qui a le potentiel de changer la donne en...