PhD Position F / M A Logical and Categorical Analysis of the Heisenberg-Schrödinger duality

University Positions; Gif-sur-Yvette; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Une position de doctorat financée par l'ANR est disponible au sein de l'équipe QuaCS du laboratoire LMF sur le Plateau de Saclay. Le projet vise à interpréter la dualité Heisenberg-Schrödinger dans un contexte computationnel ou logique, avec des activités axées sur la recherche et la publication.

Prestations

Remboursement partiel des frais de transport

7 semaines de congés annuels + 10 jours RTT

Horaires flexibles et possibilité de télétravail

Accès à des équipements professionnels

Participation à des activités sociales, culturelles et sportives

Accès à des formations professionnelles

Couverture sociale

Qualifications

• Niveau Master requis dans le domaine de l'informatique théorique.
• Compétences en communication et rédaction requises.

Responsabilités

• Réaliser des analyses bibliographiques.
• Établir et prouver des résultats théoriques.
• Publier et communiquer des résultats.

Connaissances

Communication

Rédaction

Formation

Master en informatique théorique

Description du poste

This Ph.D. position is funded by ANR within the framework of Plan Quantique.

The Ph.D. candidate will join the QuaCS team at the LMF laboratory on Plateau de Saclay. The advisors are Benoit Valiron and Vladimir Zamdzhiev.

The main goal of this Ph.D. project is to interpret the Heisenberg-Schrödinger duality in a computational and/or logical context. The thesis plan includes:

1. Studying relevant categories of operator spaces and demonstrating that these categories serve as models for (fragments of) linear logic.
2. Designing type systems (or logics) where the linear negation of linear logic can be understood through the Heisenberg-Schrödinger duality.
3. Deriving a computational interpretation from these concepts.

Main activities :

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

Additional activities :

• Participate in team and lab seminars
• Attend summer schools and scientific events to enhance scholarly development

Technical skills required: Master’s level in theoretical computer science, with strong communication and writing skills.

Languages : French or English

Relational skills : The candidate should actively participate in the team and lab community.

Other valued qualities: Commitment to open science principles.

Benefits :

• Partial reimbursement of public transport costs
• Leave: 7 weeks of annual leave + 10 RTT days + options for special leave (e.g., for sick children or moving)
• Flexible working hours and possibility of teleworking
• Access to professional equipment (videoconferencing, computer loans, etc.)
• Participation in social, cultural, and sports activities
• Access to vocational training
• Social security coverage

Salary : €2082 gross/month for the first and second years