Resources in Generalised Process Theories

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

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

Fonction : Ingénieur scientifique contractuel

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 , 27 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

Resources in quantum information theory are typically studied within the circuit model, that is, theories of processes equipped with temporal and spatial composition rules. The motivation is simple, a pair of resources could be used in parallel or in sequence. Formally, this principle informs the definition of a resource theories within quantum information theory as sub-circuit theories (sub-symmetric monoidal categories).

Many aspects of quantum (and classical) physics motivate the study of resources beyond the basic circuit model. Attempts to model temporal neutrality, causality of agents interventions, and higher-order processes called quantum supermaps motivate novel and more elaborate compositional structures than are accommodated by the naive circuit model. The framework of generalized process theories, has been put forward as a way to accommodate the wide spectrum of potential compositional structures relevant within different physical domains into one meta-algebraic theory, using algebras over wiring operads.

The goal of this project is to extend the basic theory of resources in the circuit model to the generalized process theory model.

Mission confiée

The work plan is the following.

  • Define functors for generalized processes and interpret them as resource theories.
  • Study the transferability of properties from classical resource theories to the generalized framework.
  • Analyze application cases, particularly in higher-order quantum theory and time-symmetric contexts.

This work will be produced in collaboration with John Selby at ICTQC University of Gdansk.

Principales activités

Main activities

  • Conduct bibliographic study of the literature
  • Propose mathematical solutions to the problem
  • Write articles and documentation detailing the derived constructions
  • Present the progress to the team

Compétences

Technical skills and level required : Master in Mathematics, Physics or Computer Science, with a strong background on quantum computation.

Languages : English.

Relational skills : Communication, writing.

 

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 (after 6 months of employment) 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

Regarding professional experience