PhD Position in Quantum Computing and Logic

il y a 2 jours


GifsurYvette, Île-de-France INRIA Temps plein

Research Opportunity in Quantum Computing and Logic

This 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 Overview

The main goal of this PhD project is to investigate the Heisenberg-Schrödinger duality in a computational and logical context. The project involves studying relevant categories of operator spaces and showing that such categories are models of linear logic. The candidate will also design type systems where the linear negation of linear logic can be understood in terms of the Heisenberg-Schrödinger duality.

Key Responsibilities

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

Requirements

The candidate should have a Master's degree in theoretical computer science and good communication and writing skills. Knowledge of French or English is required. The candidate should also be able to participate in the life of the team and of the lab in general.

Benefits

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT + possibility of exceptional leave
  • Possibility of teleworking and flexible organization of working hours
  • Professional equipment available
  • 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

    Quantum Computing Scientist Position at INRIA INRIA is seeking a highly motivated PhD candidate to contribute to an exciting research project funded by ANR in the field of Quantum Computing. This position offers the opportunity to work alongside renowned experts Benoit Valiron and Vladimir Zamdzhiev at the QuaCS team within the LMF laboratory. Job...


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

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


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

    Research OpportunityThis 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 OverviewThe main goal of this PhD project is to interpret the Heisenberg-Schrödinger duality...


  • 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

    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

    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 a quantum-based signal processing method 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 a quantum-based signal processing method to...

  • 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

    Postdoctoral Researcher in Formal Methods for Quantum ComputationThis postdoctoral research position is part of the QuaCS team at the LMF laboratory on the Plateau de Saclay. The selected candidate will work on the development of formal methods and static analysis tools to study quantum programming languages.Key ResponsibilitiesPerform bibliographic analysis...


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

    Postdoctoral Researcher in Formal Methods for Quantum ComputationThis postdoctoral research position is part of the QuaCS team at INRIA, focusing on the development of formal methods and static analysis tools for quantum programming languages.Key ResponsibilitiesPerform bibliographic analysis and state theoretical resultsContribute to the development of...

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


  • 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 INRIA Temps plein

    About This Opportunity INRIA is seeking a highly motivated Postdoctoral Researcher to contribute to groundbreaking research in the field of quantum computation. You will join our esteemed QuaCS team at LMF laboratory, working on cutting-edge projects within the framework of Plan Quantique. Your Role As a Postdoctoral Researcher, your primary focus will be...


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

    Postdoctoral Research Visit in Formal Methods for Quantum ComputationThis postdoctoral research visit is part of the Plan Quantique project, funded by the ANR. The selected candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.Research ObjectivesThe main objective of this research visit is to develop formal methods and static...