PhD Position in Logical and Categorical Analysis of the Heisenberg-Schrödinger Duality
il y a 1 mois
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
-
PhD Position in Quantum Computing and Logic
il y a 4 semaines
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 in Theoretical Computer Science
il y a 3 semaines
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...
-
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...
-
Quantum Computing Researcher
il y a 1 semaine
Gif-sur-Yvette, Île-de-France INRIA Temps pleinJob DescriptionWe are seeking a highly skilled Quantum Computing Researcher to join our team at INRIA. As a Post-Doctoral Research Visit F/M Categorical analysis of NISQ Quantum Computation, you will work on developing categorical and computational techniques to study NISQ quantum computation.This is an excellent opportunity for someone with a strong...
-
PhD Researcher in Formal Methods for Quantum Computation
il y a 3 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...
-
Quantum Computation Researcher
il y a 3 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 4 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...
-
Astrophysics Researcher in Cryogenic Detection
il y a 5 jours
Gif-sur-Yvette, Île-de-France CEA Temps pleinJob DescriptionCompany OverviewThe CEA is a leading research organization in the field of astrophysics, and we are seeking a highly skilled researcher to join our team.SalaryThe estimated salary for this position is €45,000 - €60,000 per year, depending on experience.Job ResponsibilitiesIn-depth analysis of detector characterization measurements,...
-
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...
-
Postdoctoral Research Visit in Formal Methods for Quantum Computation
il y a 4 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...
-
Astrophysicist Researcher in Far Infrared Detection
il y a 2 semaines
Gif-sur-Yvette, Île-de-France CEA Temps pleinKey ResponsibilitiesYou will be part of the LSIS laboratory, a multidisciplinary team of experts in astrophysics and instrumentation. Your tasks will involve:Cryogenic Detector AnalysisIn-depth analysis of detector characterization measurements using advanced methods and knowledge of low-temperature detection physics.Physical ModelingActive contribution to...
-
Astrophysics Postdoctoral Researcher in Far Infrared Detection
il y a 2 semaines
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...
-
Postdoctoral Researcher in Far Infrared Detection for Astrophysics
il y a 4 semaines
Gif-sur-Yvette, Île-de-France CEA Temps pleinJob OfferYou will be part of the LSIS laboratory, a multidisciplinary team of around twenty people, and will carry out the following tasks:Main Responsibilities• In-depth analysis of detector characterization measurements, applying advanced methods and knowledge of low-temperature detection physics (light-matter interaction, superconductivity, cryogenic...
-
Payroll Specialist
il y a 3 semaines
Gif-sur-Yvette, Île-de-France L-ACOUSTICS SAS Temps pleinDescriptionAre you looking for a challenging role in an HR international team? A hands-on team player with a strong sense of data analysis and numbers is needed. A Payroll Specialist may just be the perfect fit for you.A key member of the Group's overall HR strategy, you will be responsible for executing and managing the Payroll for our French BUs, ensuring...
-
Software Engineer Position in High-Performance Computing
il y a 2 semaines
Gif-sur-Yvette, Île-de-France CEA Temps pleinJob Description:As a key member of the CEA’s PDI team, you will be responsible for developing and maintaining the PDI library, a high-performance data interface code coupling library. Your primary focus will be on developing core functionalities and new plugins for PDI, as well as the Deisa library. Additionally, you will provide user support, organize...
-
Senior Scientist in Drug Biotransformation and Biodistribution
il y a 4 semaines
Gif-sur-Yvette, Île-de-France Servier Temps pleinWe are a global leader in cardiology and a focused player in oncology, dedicated to therapeutic progress for the benefit of patients.Our team is seeking a motivated and experienced scientist to join our efforts in drug biotransformation and biodistribution.Key Responsibilities:Design and conduct drug metabolism studies for the discovery and development of...
-
Postdoctoral Researcher in Mass Spectrometry Imaging
il y a 1 mois
Gif-sur-Yvette, Île-de-France Servier Temps pleinJoin Our Team as a Mass Spectrometry Imaging SpecialistWe are seeking a highly motivated and experienced Mass Spectrometry Imaging Specialist to join our team at Servier. As a key member of our BioTransformation & BioDistribution team, you will be responsible for developing and implementing new technologies and methods for Mass Spectrometry Imaging (MSI) in...
-
Software Developer with expertise in cloud computing and cybersecurity.
il y a 3 semaines
Gif-sur-Yvette, Île-de-France ADEHOS Temps pleinAbout this role:As a software developer with expertise in cloud computing and cybersecurity, you will be responsible for designing and implementing secure cloud-based systems. This includes cloud infrastructure management, threat analysis, and security measures implementation.About the company:Our company is a leading provider of cloud-based services,...
-
Postdoctoral Researcher in fMRI Signal Processing and Deep Learning
il y a 3 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...
-
Master Internship in Optimization
il y a 3 semaines
Gif-sur-Yvette, Île-de-France INRIA Temps pleinContext and Key Skills of the InternshipIn the framework of the ERC STG MAJORIS European project, our objective in this internship is to investigate majorization-minimization (MM) algorithms and their convergence analysis. We will focus on the design and convergence study of MM algorithms that process data in real-time using either incremental or mini-batch...