PhD Position in Quantum Computing and Logic
il y a 4 semaines
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 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 4 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 4 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...
-
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...
-
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...
-
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...
-
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...
-
Software Developer with expertise in cloud computing and cybersecurity.
il y a 4 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,...
-
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...
-
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...
-
Software Engineer with Proficiency in Python and Java
il y a 4 semaines
Gif-sur-Yvette, Île-de-France Université Paris-Saclay Temps pleinWe 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...
-
Senior Software Engineer with expertise in cloud computing and DevOps.
il y a 4 semaines
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...
-
Astrophysics Researcher in Cryogenic Detection
il y a 6 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,...
-
Senior Software Architect for GPGPU Computing
il y a 3 semaines
Gif-sur-Yvette, Île-de-France L-ACOUSTICS SAS Temps pleinThe 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...
-
Postdoctoral Researcher in fMRI Signal Processing and Deep Learning
il y a 4 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...
-
Software Engineer with Expertise in Cloud Computing and DevOps
il y a 4 semaines
Bry-sur-Marne, Île-de-France Institut national de l'audiovisuel Temps pleinJob 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...
-
Software Engineer with expertise in cloud computing and cybersecurity.
il y a 4 semaines
Neuilly-sur-Seine, Île-de-France AXA Group Temps pleinAbout 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 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 Developer with Expertise in Cloud Computing and Cybersecurity
il y a 4 semaines
Châteauneuf-sur-Loire, Centre-Val de Loire, France DS RESTAURATION Temps pleinWe 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.
-
Software Engineer with Expertise in Cloud Computing
il y a 4 semaines
Champigny-sur-Marne, Île-de-France Groupama-fr Temps pleinJob 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...