PhD Position in Logical and Categorical Analysis of the Heisenberg-Schrödinger Duality

il y a 4 jours


GifsurYvette, Île-de-France INRIA Temps plein

Research Opportunity

This PhD position is funded by the ANR and is part of the Plan Quantique project.

The successful candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.

The PhD advisors are Benoit Valiron and Vladimir Zamdzhiev.

Project Overview

The main goal of this PhD project is to interpret the Heisenberg-Schrödinger duality in a computational and/or logical context.

A possible plan for the thesis could involve studying relevant categories of operator spaces and showing that such categories are models of (fragments of) linear logic.

Additionally, the candidate will design type systems (or, equivalently, logics) where the linear negation of linear logic can be understood in terms of the Heisenberg-Schrödinger duality.

Main Responsibilities

  • Perform bibliographic analysis
  • State and prove theoretical results
  • Publish and communicate results

Additional Activities

  • Participate in team's and lab's seminars
  • Travel to Summer Schools and other scientific events to gain scholar maturity

Requirements

Master level in theoretical computer science, with good communication and writing skills.

Languages: French or English.

Relational skills: We expect the candidate to participate in the life of the team and of the lab in general.

Other values appreciated: The candidate should abide by the standard of open science.

Benefits

  • 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

Salary

1st and 2nd year: 2082€ gross/month



  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionContext and Key Features of the PositionThis PhD position is funded by the ANR in the context of the Plan Quantique. The successful candidate will join the QuaCS team in the LMF laboratory on the Plateau de Saclay.Main Objectives of the PhD ProjectThe main goals of this PhD project are to interpret the Heisenberg-Schrödinger duality in a...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionContext and Key Features of the PositionThis PhD position is funded by the ANR and is part of the Plan Quantique project.The PhD candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.The PhD advisors are Benoit Valiron and Vladimir Zamdzhiev.Main Objectives of the PhD ProjectThe main goals of this PhD project are to...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Researcher Position in Quantum Computing and Linear LogicWe are seeking a highly motivated PhD candidate to join our team at INRIA and contribute to the development of new research in quantum computing and linear logic.Context and ObjectivesThis PhD project is funded by the ANR and is part of the Plan Quantique. The successful candidate will work under the...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionContext and Key ResponsibilitiesThis PhD position is funded by the ANR (Agence Nationale de la Recherche) as part of the Plan Quantique initiative. The successful candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.Main ObjectivesThe primary goals of this PhD project involve interpreting the...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Research Context and ObjectivesThis PhD project is funded by the ANR and is part of the Plan Quantique. The PhD candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.Research GoalsThe main objectives of this PhD project are to interpret the Heisenberg-Schrödinger duality in a computational and/or logical context. The research...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Research Opportunity in Quantum Computing and LogicThis PhD position is part of the Plan Quantique project, funded by the ANR. The successful candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.Project OverviewThe main goal of this PhD project is to investigate the Heisenberg-Schrödinger duality in a computational and logical...

  • Postdoctoral Researcher

    il y a 3 semaines


    Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Postdoctoral Researcher - Categorical Analysis of NISQ Quantum ComputationThis postdoctoral research position is funded by an ANR grant in the context of Plan Quantique.The selected candidate will join the QuaCS team in the laboratory LMF on Plateau de Saclay.Research MissionThe candidate will work on the development of categorical and computational...

  • Postdoctoral Researcher

    il y a 2 semaines


    Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Postdoctoral Researcher - Categorical Analysis of NISQ Quantum ComputationThis postdoctoral research position is funded by an ANR grant in the context of the Plan Quantique initiative.The selected candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay campus.Research ObjectivesThe postdoctoral researcher will work on the...

  • Postdoctoral Researcher

    il y a 4 semaines


    Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Researcher Position in Quantum ComputingWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA and contribute to the development of categorical and computational techniques for studying NISQ quantum computation.Context and OpportunitiesThis postdoc is funded by an ANR grant in the context of Plan Quantique, a national initiative...

  • Postdoctoral Researcher

    il y a 2 semaines


    Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Researcher Position in Quantum ComputingWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA and contribute to the development of categorical and computational techniques for studying NISQ quantum computation.Context and OpportunitiesThis postdoc is funded by an ANR grant in the context of Plan Quantique, a national initiative...

  • Postdoctoral Researcher

    il y a 3 semaines


    Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Researcher Position in Quantum ComputingWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA and contribute to the development of categorical and computational techniques for studying NISQ quantum computation.Context and OpportunitiesThis postdoc is funded by an ANR grant in the context of Plan Quantique, a national initiative...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionPhD Position in Signal Processing with Quantum MethodsWe are seeking a highly motivated PhD student to work on a research project focused on signal processing with quantum methods. The project aims to develop and apply novel signal processing techniques based on the squared eigenfunctions of the Schrödinger operator for the identification of...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionPhD Position in Signal Processing with Quantum MethodsWe are seeking a highly motivated PhD student to work on a research project in signal processing with quantum methods. The project aims to develop and apply semi-classical signal analysis (SCSA) methods for the identification of vulnerable carotid plaques using CT scans.About the ProjectThe...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionPhD Position in Signal Processing for Biomedical ImagingWe are seeking a highly motivated PhD student to join our research team at INRIA Saclay-Île-de-France Research Centre. The successful candidate will work on a research project focused on signal processing for biomedical imaging, with a specific emphasis on the identification of...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Research Project: Semi-Classical Signal Analysis for Biomedical ApplicationsThe Inria Saclay-Île-de-France Research Centre is seeking a PhD student to work on a research project focused on semi-classical signal analysis for biomedical applications. The project aims to study the mathematical properties of the semi-classical signal analysis method and compare...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionPhD Position in Signal Processing with Quantum MethodsWe are seeking a highly motivated PhD student to join our research team at INRIA Saclay-Île-de-France Research Centre. The successful candidate will work on a PhD research project focused on signal processing with quantum methods, specifically the semi-classical signal analysis (SCSA)...


  • Gif-sur-Yvette, Île-de-France Servier Temps plein

    About ServierServier is a global pharmaceutical company driven by a mission to improve patient health through innovative therapies. With a strong focus on oncology, neuroscience, and immuno-inflammatory diseases, Servier dedicates over 50% of its R&D budget to developing cutting-edge treatments for challenging conditions. The company's commitment to...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    Job DescriptionPhD Position in Signal Processing for Vulnerable Carotid Plaques IdentificationInria Saclay-Île-de-France Research Centre is seeking a PhD student to work on a research project focused on signal processing for vulnerable carotid plaques identification using CT scans. The project aims to develop and apply quantum-based signal processing...


  • Gif-sur-Yvette, Île-de-France Servier Temps plein

    Join Our Team as a Statistical Genetics PhD ResearcherServier, a leading international pharmaceutical group, is seeking a highly motivated PhD researcher in statistical genetics to join our R&D Institute. Our team is dedicated to advancing therapeutic progress for the benefit of patients, and we are committed to fostering a collaborative and innovative...


  • Gif-sur-Yvette, Île-de-France INRIA Temps plein

    About the PositionWe are seeking a highly motivated PhD student to join our research team at INRIA, focusing on signal processing methods for biomedical applications. The successful candidate will work on the mathematical analysis and application of quantum signal processing techniques for the identification of vulnerable carotid plaques using CT scans.Key...