Emplois actuels liés à Postdoctoral Researcher in Formal Methods for Quantum Computation - GifsurYvette, Île-de-France - INRIA

  • Postdoctoral Researcher in Formal Methods for Quantum Computation

    il y a 1 mois

    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 candidate will work on the development of formal methods and static analysis tools...

  • Postdoctoral Researcher in Formal Methods for Quantum Computation

    il y a 3 semaines

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

    Context and Advantages of the PositionThis 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 candidate will work on the development of formal methods and static analysis tools to...

  • Postdoctoral Researcher in Formal Methods for Quantum Computation

    il y a 3 semaines

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

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

  • PhD Researcher in Formal Methods for Quantum Computation

    il y a 2 semaines

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

    About the PositionThis postdoctoral research position is part of an ANR-funded project in the context of Plan Quantique. The selected candidate will join the QuaCS team at INRIA on Plateau de Saclay.Research FocusThe postdoc will work on developing formal methods and static analysis tools to study quantum programming languages. The candidate is expected to...

  • Postdoctoral Research Visit in Formal Methods for Quantum Computation

    il y a 3 semaines

    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 be part of 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 Research Visit in Formal Methods for Quantum Computation

    il y a 3 semaines

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

    Context and advantages of the positionThis postdoctoral position is funded by an ANR grant in the context of the Plan Quantique.The selected candidate will join the QuaCS team in the LMF laboratory on the Plateau de Saclay.Mission entrustedThe candidate will work on the development of 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

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

  • Quantum Computation Researcher

    il y a 3 semaines

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

    Research OpportunityThis 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 ObjectivesThe candidate will work on developing categorical and computational techniques to study NISQ quantum computation.They...

  • Quantum Computation Researcher

    il y a 3 semaines

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

    Research OpportunityThis 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 MissionThe candidate will work on the development of categorical and computational techniques to study NISQ quantum computation. This involves...

  • Quantum Computation Researcher

    il y a 2 semaines

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

    Context and opportunities of the positionThis postdoctoral research position is funded by an ANR grant within the Plan Quantique framework.The selected candidate will integrate the QuaCS team at the LMF laboratory on the Plateau de Saclay.Mission assigned to the candidateThe researcher will work on the development of categorical and computational techniques...

  • Quantum Computation Researcher

    il y a 3 semaines

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

    Job Context and RequirementsThis postdoctoral research visit is part of an ANR-funded project within the Plan Quantique framework.The selected candidate will integrate the QuaCS team at the LMF laboratory on the Plateau de Saclay.Research MissionThe candidate will work on developing categorical and computational techniques to study NISQ quantum...

  • Quantum Computation Researcher

    il y a 3 semaines

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

    Context and Benefits of the PositionThis postdoctoral research visit 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.Mission ObjectivesThe candidate will work on developing categorical and computational techniques to study NISQ quantum...

  • Postdoctoral Researcher in Mass Spectrometry Imaging

    il y a 1 mois

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

  • Postdoctoral Researcher in Experimental Mechanics

    il y a 4 semaines

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

    Research Opportunity in Experimental MechanicsWe are seeking a highly motivated postdoctoral researcher to join our team at the Laboratory of Mechanics at Paris-Saclay (LMPS). The successful candidate will work on the identification and experimental validation of constitutive models for architected materials.Key Responsibilities:Conduct in-situ mechanical...

  • Postdoctoral Research Fellow in Gut-Liver on a Chip

    il y a 4 semaines

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

    Join Our Team as a Postdoctoral Research Fellow in Gut-Liver on a ChipServier, a global pharmaceutical company, is seeking a highly motivated and experienced postdoctoral research fellow to join our team in the development of a physiologically relevant in vitro 3D human gut-liver model. This model will enable the study of gut-liver interactions,...

  • Astrophysics Postdoctoral Researcher in Far Infrared Detection

    il y a 3 jours

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

    Job OfferCEA is seeking a talented Postdoctoral Researcher to join its LSIS laboratory. As a member of the team, you will contribute to the development of advanced detectors for astrophysics research.Key ResponsibilitiesPerform in-depth analysis of detector characterization measurements using advanced methods and knowledge of low-temperature detection...

  • PhD Researcher Position in Signal Processing for Vulnerable Carotid Plaques Identification

    il y a 2 semaines

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

    Research Project: Vulnerable Carotid Plaques Identification using Quantum-Based Signal ProcessingIn the context of biomedical imaging, signal processing plays a crucial role in extracting meaningful information from complex data. This research project aims to investigate the application of quantum-based signal processing methods for identifying vulnerable...

  • PhD Position in Signal Processing with Quantum Methods

    il y a 4 semaines

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

  • Postdoctoral Researcher in Theoretical Computer Science

    il y a 1 semaine

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

    Research ContextThis PhD project is part of the Plan Quantique research program, funded by the ANR.The PhD candidate will be based at INRIA in the QuaCS team, working under the supervision of Benoit Valiron and Vladimir Zamdzhiev.Research ObjectivesThe main goal of this PhD project is to investigate the Heisenberg-Schrödinger duality in a computational...

  • Postdoctoral Researcher in fMRI Signal Processing and Deep Learning

    il y a 2 semaines

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

    Job Opportunity at CEACEA is seeking a highly skilled Postdoctoral Researcher to contribute to the EXPLORE+ project, a large-scale research initiative focused on understanding learning and decision-making processes in the healthy brain using functional Magnetic Resonance Imaging (fMRI).About the ProjectThe EXPLORE+ project aims to develop new accelerated MR...

Postdoctoral Researcher in Formal Methods for Quantum Computation

Il y a 2 mois

GifsurYvette, Île-de-France INRIA Temps plein
Job Context and Requirements

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

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

They are expected to actively participate in team discussions and contribute to the development of the research project.

Expected Outputs

The successful candidate is expected to produce 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 and lab seminars
  • Travel to summer schools and other scientific events
Required Skills and Qualifications

PhD in theoretical computer science with good communication and writing skills.

Language proficiency: French or English.

Relational skills: The candidate should be able to participate in the life of the team and the lab.

Desired Qualities

The candidate should adhere to the principles 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 + 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