PhD Position in Quantum Computing and Logic

il y a 4 semaines


GifsurYvette, Île-de-France INRIA Temps plein

Research Opportunity in Quantum Computing and Logic

This 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 Overview

The main goal of this PhD project is to investigate the Heisenberg-Schrödinger duality in a computational and logical context. The project involves studying relevant categories of operator spaces and showing that such categories are models of linear logic. The candidate will also design type systems where the linear negation of linear logic can be understood in terms of the Heisenberg-Schrödinger duality.

Key Responsibilities

  • Perform bibliographic analysis
  • State and prove theoretical results
  • Publish and communicate results

Requirements

The candidate should have a Master's degree in theoretical computer science and good communication and writing skills. Knowledge of French or English is required. The candidate should also be able to participate in the life of the team and of the lab in general.

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

Salary

1st and 2nd year: 2082€ gross/month


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


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

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

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


  • Gif-sur-Yvette, Île-de-France Université Paris-Saclay Temps plein

    We are seeking a skilled Software Engineer with expertise in Python and Java to join our team. Key responsibilities include designing and developing scalable software solutions, collaborating with cross-functional teams, and ensuring high-quality code delivery.Key skills include:Proficiency in Python and Java programming languagesExperience with cloud...


  • Asnières-sur-Seine, Île-de-France Anacours Temps plein

    **Job Title:** Cloud Computing ProfessionalJob Summary:We are looking for a skilled Cloud Computing Professional to join our team. The ideal candidate will have experience in DevOps and infrastructure management, as well as strong technical skills in cloud computing.Key Responsibilities:Design and implement cloud infrastructure solutions.Develop and maintain...


  • 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 L-ACOUSTICS SAS Temps plein

    The Senior Software Architect for GPGPU Computing will lead the development of solutions related to their domain of expertise, ensuring our current and future needs are met.Key Responsibilities:Manage software projects to deliver solutions that meet user needsAct as Lead Developer, providing technical guidance and mentorship to the teamEnsure software is...


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


  • Bry-sur-Marne, Île-de-France Institut national de l'audiovisuel Temps plein

    Job Description:As a software engineer with expertise in cloud computing and DevOps, you will play a key role in designing, developing, and deploying scalable and efficient cloud-based systems. Your strong understanding of cloud platforms and DevOps tools will enable you to streamline our software development process and improve overall system...


  • Neuilly-sur-Seine, Île-de-France AXA Group Temps plein

    About the JobAs a Software Engineer at our company, you will be responsible for designing and developing cloud-based applications that meet the highest security standards. Your expertise in cloud computing and cybersecurity will be crucial in ensuring the security and integrity of our systems.About YouWe are looking for a highly skilled Cloud Security...

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


  • Châteauneuf-sur-Loire, Centre-Val de Loire, France DS RESTAURATION Temps plein

    We are seeking a highly skilled Software Developer with expertise in cloud computing and cybersecurity to join our team. This role will involve designing and implementing secure cloud-based systems and architectures. If you have a strong background in cloud computing and cybersecurity, we encourage you to apply for this exciting opportunity.


  • Champigny-sur-Marne, Île-de-France Groupama-fr Temps plein

    Job SummaryAs a cloud computing professional, you will be responsible for designing, implementing, and maintaining cloud-based systems and applications. Your expertise in cloud computing and programming will enable you to develop scalable, secure, and efficient solutions. Key ResponsibilitiesDesign and implement cloud-based systems and applicationsMaintain...