Developping an IDE for writing pattern-based and formal requirements

We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...

Simulation tools are essential for the design and validation of digital circuits. They use different levels of abstraction to facilitate hardware/software co-design and co-validation. Architecture simulators, called Instruction Set Simulators (ISSs) , provide high-level abstraction for fast functional verification and early design space exploration, while...

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...

The Embedded and Autonomous Systems Design Laboratory (LSEA) of the CEA LIST works on the development of tools and methodologies to design safe and efficient softwares.The developed systems must provide functions with associated service qualities. The increasing complexity of these systems makes it necessary to approach their design at high levels of...

La mission se déroulera à la Direction Recherche et Développement d'EDF (R&D) .Au sein d'EDF R&D, le département OSIRIS (« Optimisation, SImulation, Risques et Statistiques pour les marchés de l'énergie ») contribue à la préparation de l'avenir du Groupe EDF dans le domaine des marchés de l'énergie, de la météo, du climat et des prévisions de...

We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA).In the context of a national project, you will BE responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...

Position description Category Mathematics, information, scientific, software Contract Fixed-term contract Job title Research Engineer in Model-Based Engineering for Security Assurance of Medical Devices H/F Socio-professional category Executive Contract duration (months) 24 Job description Advances in healthcare...

We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA).In the context of a national project, you will BE responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...

Doctorat, 36 mois - Temps plein - Aucune expérience exigée - Maitrise, IEP, IUP, Bac+4 - Digital technologies for remote sensing **Mission**: This doctoral project is part of the Onera "MUSIC" research chair, led by Elise Colin, which focuses on developing innovative image processing and AI techniques for unconventional data. It explores the...

We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...

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...

PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi Le descriptif de l’offre ci-dessous est en Anglais Type de contrat : CDD Niveau de diplôme exigé : Bac + 5 ou équivalent Fonction : Doctorant A propos du centre ou de la direction fonctionnelle The Inria...

Doctorat, 36 mois - Temps plein - Aucune expérience exigée - Maitrise, IEP, IUP, Bac+4 - Atmospheric Composition & Climate **Mission**: Tracking anthropogenic emissions of the two main greenhouse gases (GHGs) influenced by human activities, carbon dioxide (CO2) and methane (CH4), is crucial to assessing progress towards the objectives of the Paris...

Doctorat, 36 mois - Temps plein - Aucune expérience exigée - Maitrise, IEP, IUP, Bac+4 - Meteorological Atmosphere **Mission**: The ONERA Laser Sources and Metrology (SLM) research unit is involved in the development of original Differential Absorption Lidar (DiAL) systems for greenhouse gases concentration measurement in the atmosphere, with the use of...

Breve Introdução e Sobre o Trabalho: This internship is to be filled in Semester 2023 for a period of 6 months in the Danone Food Safety Department team at the Research & Innovation Daniel Carasso Center Paris Saclay (located in Gif-Sur-Yvette ; Paris region, 91). Context: Groupe DANONE, leader in the food industry, is looking for an intern for its...

Contexte et atouts du poste As part of an Exploratory Action (AEx) grant "IMPROOF" Members of the PARTOUT team (K. Chaudhuri - PI, B. Werner, L. Straßburger) Goal: Develop foundations and build prototypes for direct manipulation proofs for induction and co-induction Is regular travel foreseen for this post ? No. English fluency required...

DescriptionQuandela is a leading company in the development and commercialization of quantum computing solutions based on the manipulation of single photons. We are seeking a full-time (permanent contract - CDI) Single Photon Source Fiber Pigtailing Engineer to participate in the development of Quandela's quantum light emitter devices together with the large...

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...

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 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...

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...

Simulation tools are essential for the design and validation of digital circuits. They use different levels of abstraction to facilitate hardware/software co-design and co-validation. Architecture simulators, called Instruction Set Simulators (ISSs) , provide high-level abstraction for fast functional verification and early design space exploration, while...

Contexte et atouts du poste Data exchange and sharing is a common need in virtually all modern applications. To achieve interoperability among different, heterogeneous databases, graph databases, and in particular knowledge graphs , are preferred due to their flexibility, which enables them to describe different structures of the underlying...

Position description Category Electronics components and equipments Contract Fixed-term contract Job title PhD Position in AI-Assisted Generation of High-Level Models and Simulators for Hardware Design Socio-professional category Non Cadre Contract duration (months) 36 Job description Simulation tools are...