Emplois actuels liés à Postdoctoral Researcher in Formal Methods for Quantum Computation - GifsurYvette, Île-de-France - INRIA
-
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...
-
Postdoctoral Researcher in Formal Methods for Quantum Computation
il y a 3 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinContext 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 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...
-
PhD Researcher in Formal Methods for Quantum Computation
il y a 2 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinAbout 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 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...
-
Postdoctoral Research Visit in Formal Methods for Quantum Computation
il y a 3 semaines
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 4 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...
-
Quantum Computation Researcher
il y a 3 semaines
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 semaines
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 2 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinContext 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 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...
-
Quantum Computation Researcher
il y a 3 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinContext 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 pleinJoin 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 pleinResearch 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 pleinJoin 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,...
-
Gif-sur-Yvette, Île-de-France CEA Temps pleinJob 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...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearch 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 pleinJob 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 pleinResearch 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 pleinJob 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
This 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 Responsibilities- Perform bibliographic analysis and state theoretical results
- Contribute to the development of formal methods and static analysis tools
- Participate in team and lab seminars, and travel to scientific events
- PhD in theoretical computer science with good communication and writing skills
- Technical skills: PhD level in theoretical computer science, with good communication and writing skills
- Languages: French or English
- Relational skills: ability to participate in the life of the team and of the lab
- 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
