![INRIA](https://media.trabajo.org/img/noimg.jpg)
Post-Doctoral Research Visit F/M Adapting Deep Inference for Induction and Co-Induction
il y a 3 semaines
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.
For a better knowledge of the proposed research subject :
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
-
Post-doctoral Research Visit F/m Adapting Deep
il y a 4 semaines
Palaiseau, France Inria Temps pleinLe 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...
-
Post-doctoral Research Visit F/m Bridging The Gap
il y a 1 mois
Palaiseau, France Inria Temps pleinLe 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 pleinContexte 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 pleinContexte 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 pleinContexte 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 pleinContexte 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 pleinContexte 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...
-
24-097 Integration of Thermal Imaging and Radar for
Il y a 2 mois
Palaiseau, France CNES - Centre National d'Etudes Spatiales Temps pleinDoctorat, 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...
-
Calculs Bio-inspirée Avec Des Transistors
il y a 1 mois
Palaiseau, France École polytechnique Temps plein**Calculs bio-inspirée avec des transistors électrochimiques organiques // Brain inspired computing with organic electrochemical transistors**: - Réf - **ABG-111072** **ADUM-46408** - Sujet de Thèse- 11/02/2023- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Calculs bio-inspirée avec des transistors...
-
Palaiseau, Île-de-France Cea Temps pleinWe 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 pleinWe 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...
-
Grid Coloring for Object Sensing and Localization
Il y a 2 mois
Palaiseau, France INRIA Temps pleinContexte 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...
-
Grid Coloring for Object Sensing and Localization
il y a 1 semaine
Palaiseau, France INRIA Temps pleinContexte 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 Cea Temps pleinWe 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...
-
24-246 Radar Super-resolution By Deep Learning:
Il y a 2 mois
Palaiseau, France CNES - Centre National d'Etudes Spatiales Temps pleinDoctorat, 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 CEA Temps pleinWe 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...
-
Postdoctoral Researcher
il y a 1 semaine
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, 91120, Palaiseau, France CEA Temps pleinWe 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...
-
Postdoc Co-Design Strategy Sw
il y a 2 semaines
PALAISEAU, France CEA Temps pleinSujet PostDoc en Intelligence Artificielle pour les systèmes embarquésStratégie de co-conception pour l'exploitation de la sparsité spatio-temporelle dans les réseaux de neurones Transformer à l'inférence et à l'apprentissageL'objectif du PostDoc est d'identifier, d'analyser et d'évaluer les mécanismes de modulation de...
-
Large Language Models for Information Extraction
il y a 4 jours
Palaiseau, France CEA Temps pleinPosition 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...