Postdoctoral Researcher in Formal Methods for Quantum Computation

il y a 1 jour


GifsurYvette, Île-de-France INRIA Temps plein
Postdoctoral Research Visit in Formal Methods for Quantum Computation

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

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

The candidate is expected to contribute to the team's discussions and collaborate with the team members.

Expected Output

The expected output of the job consists of publications and communications acknowledging the funding sources.

Main Activities
  • 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
Requirements

Technical skills and level required: PhD 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.

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

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

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


  • 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 successful applicant will work on the development of formal methods and static analysis tools to study...

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