PhD Position in Logical and Categorical Analysis of the Heisenberg-Schrödinger Duality
il y a 4 jours
Research Opportunity
This PhD position is funded by the ANR and is part of the Plan Quantique project.
The successful candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.
The PhD advisors are Benoit Valiron and Vladimir Zamdzhiev.
Project Overview
The main goal of this PhD project is to interpret the Heisenberg-Schrödinger duality in a computational and/or logical context.
A possible plan for the thesis could involve studying relevant categories of operator spaces and showing that such categories are models of (fragments of) linear logic.
Additionally, the candidate will design type systems (or, equivalently, logics) where the linear negation of linear logic can be understood in terms of the Heisenberg-Schrödinger duality.
Main Responsibilities
- 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 to gain scholar maturity
Requirements
Master 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.
Other values appreciated: The candidate should abide by the standard 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 (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
1st and 2nd year: 2082€ gross/month
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob DescriptionContext and Key Features of the PositionThis PhD position is funded by the ANR in the context of the Plan Quantique. The successful candidate will join the QuaCS team in the LMF laboratory on the Plateau de Saclay.Main Objectives of the PhD ProjectThe main goals of this PhD project are to interpret the Heisenberg-Schrödinger duality in a...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob DescriptionContext and Key Features of the PositionThis PhD position is funded by the ANR and is part of the Plan Quantique project.The PhD candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.The PhD advisors are Benoit Valiron and Vladimir Zamdzhiev.Main Objectives of the PhD ProjectThe main goals of this PhD project are to...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearcher Position in Quantum Computing and Linear LogicWe are seeking a highly motivated PhD candidate to join our team at INRIA and contribute to the development of new research in quantum computing and linear logic.Context and ObjectivesThis PhD project is funded by the ANR and is part of the Plan Quantique. The successful candidate will work under the...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob DescriptionContext and Key ResponsibilitiesThis PhD position is funded by the ANR (Agence Nationale de la Recherche) as part of the Plan Quantique initiative. The successful candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.Main ObjectivesThe primary goals of this PhD project involve interpreting the...
-
PhD Researcher in Logical and Categorical Analysis
il y a 1 semaine
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearch Context and ObjectivesThis PhD project is funded by the ANR and is part of the Plan Quantique. The PhD candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.Research GoalsThe main objectives of this PhD project are to interpret the Heisenberg-Schrödinger duality in a computational and/or logical context. The research...
-
PhD Position in Quantum Computing and Logic
il y a 2 jours
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearch Opportunity in Quantum Computing and LogicThis PhD position is part of the Plan Quantique project, funded by the ANR. The successful candidate will join the QuaCS team at the LMF laboratory on the Plateau de Saclay.Project OverviewThe main goal of this PhD project is to investigate the Heisenberg-Schrödinger duality in a computational and logical...
-
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...
-
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 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 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...
-
PhD Position in Signal Processing with Quantum Methods
il y a 1 semaine
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...
-
PhD Position in Signal Processing with Quantum Methods
il y a 1 mois
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 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...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob DescriptionPhD Position in Signal Processing for Biomedical ImagingWe 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 research project focused on signal processing for biomedical imaging, with a specific emphasis on the identification of...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinResearch Project: Semi-Classical Signal Analysis for Biomedical ApplicationsThe Inria Saclay-Île-de-France Research Centre is seeking a PhD student to work on a research project focused on semi-classical signal analysis for biomedical applications. The project aims to study the mathematical properties of the semi-classical signal analysis method and compare...
-
PhD Position in Signal Processing with Quantum Methods
il y a 1 mois
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 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)...
-
PhD Researcher in Statistical Genetics and Oncology
Il y a 2 mois
Gif-sur-Yvette, Île-de-France Servier Temps pleinAbout ServierServier is a global pharmaceutical company driven by a mission to improve patient health through innovative therapies. With a strong focus on oncology, neuroscience, and immuno-inflammatory diseases, Servier dedicates over 50% of its R&D budget to developing cutting-edge treatments for challenging conditions. The company's commitment to...
-
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob DescriptionPhD Position in Signal Processing for Vulnerable Carotid Plaques IdentificationInria Saclay-Île-de-France Research Centre is seeking a PhD student to work on a research project focused on signal processing for vulnerable carotid plaques identification using CT scans. The project aims to develop and apply quantum-based signal processing...
-
PhD position in statistical genetics in R&D
il y a 4 semaines
Gif-sur-Yvette, Île-de-France Servier Temps pleinJoin Our Team as a Statistical Genetics PhD ResearcherServier, a leading international pharmaceutical group, is seeking a highly motivated PhD researcher in statistical genetics to join our R&D Institute. Our team is dedicated to advancing therapeutic progress for the benefit of patients, and we are committed to fostering a collaborative and innovative...
-
Mathematical Analysis of Signal Processing Methods
il y a 3 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinAbout the PositionWe are seeking a highly motivated PhD student to join our research team at INRIA, focusing on signal processing methods for biomedical applications. The successful candidate will work on the mathematical analysis and application of quantum signal processing techniques for the identification of vulnerable carotid plaques using CT scans.Key...