Probabilistic Analysis of Neural Networks

**Pays** France **Lieu** 91 - Essonne **Lieu de travail** PALAISEAU-ROUTE DE SACLAY(FRA) **Domaine** Recherche Innovation&Développt, Stratégie Economie Business **Type de contrat** CDD **Expérience** Minimum 3 ans - You have an engineering or doctoral training in the field of renewable energies or physics/chemistry. You have knowledge of...

Contexte et atouts du poste Within the framework of a partnership with Nokia Bell Labs. Starting time: Position available immediately (duration 6 months). Mission confiée Internship Supervisors: Cedric Adjih, Research Scientist Department/Lab: INRIA, TRiBE team, Saclay, France Contact: Chung Shue (Calvin) Chen, Research...

Contexte et atouts du poste The Comete project team at the Inria Saclay Center specializes in security and privacy protection and has sixteen researchers ( Mission confiée The main mission of the recruited person will be to develop a method for the creation of an anonymous file based on a questionnaire survey in the social sciences and to...

Context of the internshipThe Space Center of École Polytechnique (CSEP), created in 2010, proposes and supervises space projects for École Polytechnique students. CSEP coordinates and brings together, through its projects, students, teacher-researchers, industrialists and French and European space agencies. It is financially and operationally supported by...

Context of the internship The Space Center of École Polytechnique (CSEP), created in 2010, proposes and supervises space projects for École Polytechnique students. CSEP coordinates and brings together, through its projects, students, teacher-researchers, industrialists and French and European space agencies. It is financially and operationally supported by...

Context of the internship The Space Center of École Polytechnique (CSEP), created in 2010, proposes and supervises space projects for École Polytechnique students. CSEP coordinates and brings together, through its projects, students, teacher-researchers, industrialists and French and European space agencies. It is financially and operationally supported by...

Contexte et atouts du poste Biomedical signals are usually characterized by the presence of peaks that provide direct or indirect information on the physiological and metabolic state. Usually, these pulse-shaped signals require preprocessing such as denoising and artifact removals. Further analysis and processing might be required in some specific...

**Intégrateurs symboliques-numériques efficaces et fiables // Efficient reliable symbolic-numeric integrators**: - Réf - **ABG-118635** **ADUM-52079** - Sujet de Thèse- 02/12/2023- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Intégrateurs symboliques-numériques efficaces et fiables //...

Description de l'offre Objective The objective of this project is to develop an interactive editor and associated library for safety requirement patterns. This requires study of (1) existing requirement patterns and related work [1], (2) the vocabulary and safety-related concepts defined in safety standards, [2]. Then the safety-related concepts...

Contexte et atouts du poste The Comete project team at the Inria Saclay Center specializes in security and privacy protection and has sixteen researchers ( Mission confiée The purpose of this position is to work with the COMETE research team to develop methods and software for estimating statistics from data protected with local...

The objective of this project is to develop an interactive editor and associated library for safety requirement patterns. This requires study of (1) existing requirement patterns and related work [1], (2) the vocabulary and safety-related concepts defined in safety standards, e.g. ISO26262 [2]. Then the safety-related concepts should be mapped to the...

**Dispositifs IoT alimentés sans fil par ondes millimétriques // Wirelessly powered IoT devices through millimeter waves**: - Réf **ABG-121618** **ADUM-55213** - Sujet de Thèse- 22/03/2024- Télécom Paris- Lieu de travail- Palaiseau - France- Intitulé du sujet- Dispositifs IoT alimentés sans fil par ondes millimétriques // Wirelessly powered IoT...

To address the issue of AI system verification, validation, and certification, existing work define a design solution combining AI algorithms and conventional algorithms. AI algorithms include all complex and/or black box algorithms that need to be certified. The conventional algorithms include functions that monitor and supervise AI code execution. These...

To address the issue of AI system verification, validation, and certification, existing work define a design solution combining AI algorithms and conventional algorithms. AI algorithms include all complex and/or black box algorithms that need to be certified. The conventional algorithms include functions that monitor and supervise AI code execution. These...

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Contrat renouvelable **:Oui **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Ingénieur scientifique contractuel **Niveau d'expérience souhaité **:Plus de 12 ans **A propos du centre ou de la direction fonctionnelle**: The Inria Saclay-Île-de-France...

Position description Category Mathematics, information, scientific, software Contract Internship Job title AI system validation by fault injection in simulation H/F Subject The project aims to evaluate an AI-based system design based on safety-oriented fault-injection simulations through a virtual platform to reinforce AI...

Contexte et atouts du poste With the advent of consumption and dissemination of information online, it becomes important to verify factual information available.In particular, public figures, like politicians and elected officials, make public statements that have far-reaching implications. Thus, the task of fact checking becomes critical in order to...

Position description **Category**: - Mathematics, information, scientific, software **Contract**: - Internship **Job title**: - Large Language Models for Information Extraction H/F **Subject**: - We propose to study the performance of LLMs on Information Extraction tasks. **Contract duration (months)**: - 6 **Job description**: - Large Language...

**Dynamique de particules en écoulement turbulents // Particle dynamics in turbulent flows**: - Réf - **ABG-119672** **ADUM-52789** - Sujet de Thèse- 24/01/2024- Autre financement public- École nationale supérieure de techniques avancées- Lieu de travail- Palaiseau - France- Intitulé du sujet- Dynamique de particules en écoulement turbulents //...

**Méthodes d'homotopie pour l'algèbre différentielle // Homotopy methods for differential algebra**: - Réf - **ABG-118636** **ADUM-52080** - Sujet de Thèse- 02/12/2023- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Méthodes d'homotopie pour l'algèbre différentielle // Homotopy methods...