Stage - Sommes de chemins pour systèmes quantiques non-qubits
Level of qualifications required : Master's or equivalent
Fonction : Internship Research
About the research centre or Inria department
Le centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s’inscrit dans le développement du plateau de Saclay, en partenariat étroit d’une part avec le pôle de l’Université Paris-Saclay et d’autre part avec le pôle de l’Institut Polytechnique de Paris . Afin de construire une politique de site ambitieuse, le centre Inria de Saclay a signé en 2021 des accords stratégiques avec ces deux partenaires territoriaux privilégiés.
Le centre compte 40 équipes-projets , dont 32 sont communes avec l’Université Paris-Saclay ou l’Institut Polytechnique de Paris. Son action mobilise plus de 600 personnes, scientifiques et personnels d’appui à la recherche et à l’innovation, issues de 54 nationalités.
Le centre Inria Saclay - Île-de-France est un acteur essentiel de la recherche en sciences du numérique sur le plateau de Saclay. Il porte les valeurs et les projets qui font l’originalité d’Inria dans le paysage de la recherche : l’excellence scientifique, le transfert technologique, les partenariats pluridisciplinaires avec des établissements aux compétences complémentaires aux nôtres, afin de maximiser l’impact scientifique, économique et sociétal d’Inria.
Assignment
Le stage portera sur l'adaptation de la méthode des sommes de chemin (qui permet de faire de la vérification formelle des
programmes quantiques) à des systèmes non-qubits : qudits, many-worlds, etc...
On s'intéressera à la formalisation d'une telle généralisation, ainsi qu'à l'existence de système de réécriture pour la
simplification des termes.
Main activities
Réaliser de la bibliographie, maîtriser le formalisme des sommes de chemins, des systèmes de réécriture, ainsi que celui des
systèmes quantiques de dimensions finies arbitraires.
Skills
- connaissances en informatique quantique et algèbre linéaire
- notions de systèmes de réécriture
- notions de langages graphiques
- rigueur scientifique
- savoir faire de la bibliographie
Benefits package
- Restauration subventionnée
- Transports publics remboursés partiellement
- Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.
Remuneration
Gratification
General Information
- Theme/Domain :
Proofs and Verification
Scientific computing (BAP E) - Town/city : Saclay
- Inria Center : Centre Inria de Saclay
- Starting date : 2025-03-01
- Duration of contract : 6 months
- Deadline to apply : 2025-02-20
Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.
Instruction to apply
Defence Security :
This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.
Recruitment Policy :
As part of its diversity policy, all Inria positions are accessible to people with disabilities.
Contacts
- Inria Team : QUACS
-
Recruiter :
Vilmart Renaud / renaud.vilmart@inria.fr
About Inria
Inria is the French national research institute dedicated to digital science and technology. It employs 2,600 people. Its 200 agile project teams, generally run jointly with academic partners, include more than 3,500 scientists and engineers working to meet the challenges of digital technology, often at the interface with other disciplines. The Institute also employs numerous talents in over forty different professions. 900 research support staff contribute to the preparation and development of scientific and entrepreneurial projects that have a worldwide impact.