PhD Position in Logical and Categorical Analysis of the Heisenberg-Schrödinger Duality

il y a 1 mois


GifsurYvette, Île-de-France INRIA Temps plein

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 plein

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


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


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

    Research 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 plein

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


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

  • Quantum Computation Researcher

    il y a 3 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 4 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...


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

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


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


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

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


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


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

    Job 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 plein

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


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

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


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

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


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

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


  • Gif-sur-Yvette, Île-de-France ADEHOS Temps plein

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


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


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

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