Postdoctoral Researcher in Formal Methods for Quantum Computation
il y a 1 semaine
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 MissionThe candidate will work on the development of formal methods and static analysis tools to study quantum programming languages.
The researcher is expected to participate in team discussions and contribute to the team's research activities.
The expected outcomes of the position include publications and communications acknowledging the funding sources.
Main ActivitiesMain tasks: Perform bibliographic analysis, state and prove theoretical results, publish and communicate results.
Additional tasks: Participate in team and lab seminars, travel to summer schools and other scientific events.
Required Skills and QualificationsTechnical skills: PhD in theoretical computer science, good communication and writing skills.
Languages: French or English.
Relational skills: The candidate is expected to participate in the life of the team and the lab.
Other values: 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
2788€ gross/month
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinPostdoctoral 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 pleinPostdoctoral 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...
-
Postdoctoral Researcher in Formal Methods for Quantum Computation
il y a 4 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinPostdoctoral 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...
-
Postdoctoral Researcher in Formal Methods for Quantum Computation
il y a 2 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinPostdoctoral 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...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinAbout 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...
-
Postdoctoral Researcher in Formal Methods for Quantum Computation
il y a 3 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinPostdoctoral Research Visit F/M 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 MissionThe 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 pleinPostdoctoral 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 pleinJob 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 pleinJob 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...
-
Postdoctoral Researcher in Formal Methods for Quantum Computation
il y a 3 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob 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...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob 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...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinContext 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 2 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearcher 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 pleinResearcher 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 4 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearcher 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 pleinPostdoctoral 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 3 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinPostdoctoral 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...
-
Quantum Computation Researcher
il y a 7 jours
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearch 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 jours
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearch 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 4 jours
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob 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...
