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

Télécharger l'offre au format PDF
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Doctorant

A propos du centre ou de la direction fonctionnelle

The Inria Saclay-Île-de-France Research Centre was established in 2008. It has developed as part of the Saclay site in partnership with Paris-Saclay University and with the Institut Polytechnique de Paris .

The centre has 40 project teams , 32 of which operate jointly with Paris-Saclay University and the Institut Polytechnique de Paris; Its activities occupy over 600 people, scientists and research and innovation support staff, including 44 different nationalities.

Contexte et atouts du poste

This Ph.D is funded on an ANR funding in the context of Plan Quantique.

The PhD candidate will join the QuaCS team in the laboratory LMF on Plateau de Saclay. T

he Ph.D advisors are Benoit Valiron and Vladimir Zamdzhiev.

Mission confiée

The main goals of this PhD project consists in interpreting the Heisenberg-Schrödinger
duality in a computational and/or logical context. A plan for the thesis can therefore be devised as follows: (1) to study relevant categories of operator spaces and show that such categories are models of (fragments of) linear logic; (2) to design type systems (or, equivalently, logics) where the linear negation of linear logic can be understood in terms of the Heisenberg-Schrödinger duality; (3) to derive a computational interpretation from these ideas.

Principales activités

Main activities :

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

Additional activities :

  • Participate in team's and lab's seminars
  • Travel to Summer Schools and other scientific events to gain scholar maturity

 

Compétences

Technical skills and level required : 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.

Avantages

  • 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

Rémunération

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