Postdoctoral Researcher in Formal Methods for Quantum Computation

il y a 2 jours


GifsurYvette, Île-de-France INRIA Temps plein

Job Opportunity at INRIA

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

The successful applicant will work on the development of formal methods and static analysis tools to study quantum programming languages.

They will be expected to participate in team discussions and contribute to the development of the team's research agenda.

Expected Outcomes

The expected outcomes of this position include publications and communications that acknowledge the funding sources.

Main Responsibilities

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

Additional Responsibilities

  • Participate in team and lab seminars
  • Travel to summer schools and other scientific events

Requirements

The ideal candidate will have a PhD in theoretical computer science, with excellent communication and writing skills.

Language Skills

Fluency in French or English is required.

Relational Skills

The candidate should be able to participate in the life of the team and the lab, and demonstrate a commitment to open science.

Benefits

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • 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

€2788 gross/month



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


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


  • 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 an ANR-funded project in the context of Plan Quantique.The selected applicant will join the QuaCS team in the laboratory LMF on Plateau de Saclay.Research MissionThe candidate will work on the development of formal methods and static analysis...


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

    Job Context and RequirementsThis postdoctoral research position is funded by an ANR grant within the Plan Quantique framework.The selected candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay campus.Research MissionThe candidate will work on developing formal methods and static analysis tools to study quantum programming...

  • Postdoctoral Researcher

    il y a 4 semaines


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

    Job Opportunity at INRIAThis 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 MissionThe postdoctoral researcher will work on the development of formal methods and static analysis tools to...


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

    Job Context and RequirementsThis postdoctoral research position is funded by an ANR grant within the Plan Quantique framework.The selected candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay campus.Research MissionThe candidate will work on developing formal methods and static analysis tools to study quantum programming...

  • Postdoctoral Researcher

    il y a 1 jour


    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 1 semaine


    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 Servier Temps plein

    Join Our Team as a Postdoctoral Researcher in Mass Spectrometry ImagingWe are seeking a highly motivated and experienced postdoctoral researcher to join our team at Servier, a leading pharmaceutical company dedicated to improving patient outcomes through innovative research and development. As a postdoctoral researcher in Mass Spectrometry Imaging (MSI), you...


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

    Join Our Team as a Postdoctoral Researcher in Immuno-oncologyServier, a global pharmaceutical company, is seeking a highly motivated and talented postdoctoral researcher to join our team in immuno-oncology. As a postdoctoral researcher, you will work on the discovery and validation of new immuno-oncology targets in indications of strategic interest for...


  • 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

    Join Our Team as a Postdoctoral Researcher in Mass Spectrometry ImagingServier, a leading pharmaceutical company, is seeking a highly motivated Postdoctoral Researcher to join our team in Mass Spectrometry Imaging. As a key member of our BioTransformation & BioDistribution team, you will contribute to the development of innovative solutions for...


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

    Job Opportunity at CEAAs a Postdoctoral Researcher in Far Infrared Detection for Astrophysics, you will be part of the LSIS laboratory, a dynamic team of researchers, engineers, and technicians working on cutting-edge projects in astrophysics and space research.Key Responsibilities:Conduct in-depth analysis of detector characterization measurements, applying...


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

    Job Title: PhD 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

    Join Our Team as a Postdoctoral Researcher in Mass Spectrometry ImagingWe are seeking a highly motivated and skilled Postdoctoral Researcher to join our team at Servier, a leading pharmaceutical company dedicated to improving patient outcomes through innovative research and development. As a Postdoctoral Researcher in Mass Spectrometry Imaging, you will be...


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

    Join Our Team as a Postdoctoral Research Fellow in Gut-Liver On-ChipServier, a global pharmaceutical company, is seeking a highly motivated Postdoctoral Research Fellow to join our team in the development of innovative organ-on-chip technologies. As a key member of our research team, you will contribute to the establishment of a physiologically relevant in...


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