Post-doctoral Research Visit F/m Adapting Deep

il y a 4 semaines


Palaiseau, France Inria Temps plein

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 **:Post-Doctorant

**A propos du centre ou de la direction fonctionnelle**:

- The Inria Saclay-Île-de-France Research Centre was established in 2008. It has developed as part of the Saclay site in partnership with Paris-Saclay University and with the Institut Polytechnique de Paris since 2021._
- The centre has 40 project teams, 27 of which operate jointly with Paris-Saclay University and the Institut Polytechnique de Paris. Its activities occupy over 600 scientists and research and innovation support staff, including 54 different nationalities._

**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 ? **Yes. (Most collaborators are native English speakers.)

**Mission confiée**:
**Assignments**:
The recruited person will work at the Inria Saclay research center (Alan Turing Building, co-located with LIX) as a member of the PARTOUT team.

Please see the detailed program at the following URL:
**Collaboration**:
In addition to the supervisor, the recruited person will collaborate with members of the EPC PARTOUT, primarily Prof. Benjamin Werner and Dr. Lutz Straßburger.

**Responsibilities**:
The person recruited will be in charge of developing techniques for adapting deep inference for induction and co-induction proofs as part of the "direct manipulation" cluster of interactive theorem proving techniques. This will involve significant work on the foundations and the theory of cyclic proofs. It is envisioned that there will also need to be some work done on incorporating theories and lemmas, and for the specification of new object proof systems.

The recruited person is also expected to participate in the design, implementation, and testing of software prototypes that are part of the "Profound" family of interactive tools.

**Steering/Management**:
The recruited person will be supervised by Dr. Kaustuv Chaudhuri.

**Principales activités**:
**Compétences**:
Languages : English

**Avantages**:

- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage

**Rémunération**:
2788 € gross/month

**Informations générales**:

- **Thème/Domaine**: Preuves et vérification
Ingénierie logicielle (BAP E)
- **Ville**: Palaiseau
- **Centre Inria**: Centre Inria de Saclay
- **Date de prise de fonction souhaitée**: 2024-08-01
- **Durée de contrat**: 12 mois
- **Date limite pour postuler**: 2024-06-30

**Consignes pour postuler**:
**Sécurité défense**:
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

**Politique de recrutement**:
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

**Contacts**:

- **Équipe Inria**: PARTOUT (DGD-S)
- **Recruteur**:
**L'essentiel pour réussir**:

- A PhD thesis in the area of structural proof theory
- Expertise with one or more deep inference formalisms
- Familiarity with a variety of mathematical and computational logics, in particular linear logic
- Experience with formal reasoning systems such as Coq, Lean, Isabelle/HOL
- Experience building prototype implementations of automated or interactive provers
- Experience with programming in OCaml or a similar functional language would be great, but not essential
- Experience with building user interfaces using JavaScript UI frameworks would be nice, but not essential

**A propos d'Inria**:
Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever l



  • Palaiseau, France INRIA Temps plein

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


  • Palaiseau, France INRIA Temps plein

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


  • Palaiseau, France Inria Temps plein

    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 **:Post-Doctorant **Niveau d'expérience souhaité **:Jeune diplômé **Contexte et atouts du poste**: Every year Inria International Relations Department has a few postdoctoral...


  • Palaiseau, France INRIA Temps plein

    Contexte et atouts du poste Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January 1st, 2025. The postdoctoral fellow will be...


  • Palaiseau, France INRIA Temps plein

    Contexte et atouts du poste Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January 1st, 2025. The postdoctoral fellow will be...


  • Palaiseau, France INRIA Temps plein

    Contexte et atouts du poste As part of a national project on quantum computing, the aim is to develop a model for quantum computing, using graphical and categorical structures in particular. Travel is financed by the project. Mission confiée Assignments : With the help of Renaud Vilmard and Vladimir Zamdzhiev, the recruited person will be...


  • Palaiseau, France INRIA Temps plein

    Contexte et atouts du poste As part of a national project on quantum computing, the aim is to develop a model for quantum computing, using graphical and categorical structures in particular. Travel is financed by the project. Mission confiée Assignments : With the help of Renaud Vilmard and Vladimir Zamdzhiev, the recruited person will be...

  • Chercheur Post-doctoral

    il y a 4 semaines


    Palaiseau, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 14 juin 2024 **Informations générales**: **Intitulé de l'offre **:CHERCHEUR POST-DOCTORAL (H/F) : Transfert-printing pour l'hybridation de dispositifs photoniques** Référence : UMR9001-SOPBOU-002 Nombre de Postes : 1 Lieu de travail :...


  • Palaiseau, France INRIA Temps plein

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


  • Palaiseau, France CNES - Centre National d'Etudes Spatiales Temps plein

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


  • Palaiseau, France CNES - Centre National d'Etudes Spatiales Temps plein

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

  • Postdoctoral Researcher

    il y a 7 jours


    Palaiseau, France ONERA Temps plein

    **Title : Data analysis on aluminum combustion in a solid-propellant flame** **Keywords** Rocket propulsion, solid propulsion, aluminum, combustion modeling, CFD, data analysis, laser diagnostics, laser-induced fluorescence imaging **Profile and skills required** A PhD degree in fluid dynamics and combustion or an associated field Knowledge in numerical...


  • Palaiseau, Île-de-France Cea Temps plein

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


  • Palaiseau, Île-de-France Cea Temps plein

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


  • Palaiseau, France Profile Research Temps plein

    Rôle & Mission - Enregistrement des commandes clients (contrôle commandes) - A/R commandes clients - Bons de livraisons - Suivi des livraisons clients - Saisie des avoirs - (Rapprochement commandes/BL/Factures) Recouvrement: - Relance client écrite et téléphonique (suivant procédure) - Suivi des relances - Suivi des paiements - Remises en banque des...


  • Palaiseau, France Cea Temps plein

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


  • Palaiseau, France INRIA Temps plein

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


  • Palaiseau, France INRIA Temps plein

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


  • Palaiseau, France THALES Temps plein

    Poste : QUI SOMMES-NOUS ? Situé sur le campus de l'École polytechnique, au coeur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales...


  • Palaiseau, France THALES Temps plein

    Quelles sont les missions ?QUI SOMMES-NOUS ? Situé sur le campus de l'École polytechnique, au coeur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de...