Post-doctorant (F/H) Compilation Et Optimisation de Circuits Quantiques Issus de Programmes à Control Quantique

**Type de contrat**: CDD

**Niveau de diplôme exigé**: Thèse ou équivalent

**Fonction**: Post-Doctorant

**A propos du centre ou de la direction fonctionnelle**:
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 **39 équipes-projets**, dont 27 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.

**Contexte et atouts du poste**:
L'accélération promise par le calcul quantique s'appuie sur des travaux de recherche théoriques à propos de la complexité asymptotique des problèmes. La recherche actuelle semble néanmoins montrer que les algorithmes résultants pourraient permettre (au moins sur le papier) de réaliser des calculs inabordables par des méthodes conventionnelles. On passe donc de la recherche en algorithmique à la recherche en codage et optimisation, avec des études de cas.

On s'intéresse ici en particulier à la résolution de systèmes d'équations linéaires et différentielles avec l'algorithme HHL. L'équipe Inria/QuaCS est partenaire au sein du projet QLoop, avec comme tâche la compilation et l'optimisation de circuits résultant de cet algorithme. Le poste que nous proposons s'intègre dans ce projet.

**Mission confiée**:
**Plan de travail**
- Établir un catalogue de cas d'usage potentiels (type d'équations, conditions aux limites, méthodes de discrétisation, _etc_) ; caractériser les matrices correspondantes.
- Évaluer la taille des circuits et les resources logiques nécessaires à l'utilisation de l'algorithme HHL pour les cas d'usage.
- Développer des stratégies de compilation et d'optimisation pour les circuits et évaluer le gain associé.
- Si le temps le permet: en collaboration avec d'autres partenaires du projet, intégrer les techniques proposées dans une chaine de compilation quantique visant un modèle de mémoire basé sur la correction d'erreur.

**Principales activités**:
**Avantages**:

- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- 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.)
- Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale

**Rémunération**:
2788 euros brut/mois

**Informations générales**:

- **Thème/Domaine**: Architecture, langages et compilation
Instrumentation et expérimentation (BAP C)
- **Ville**: Gif-Sur-Yvette
- **Centre Inria**: Centre Inria de Saclay
- **Date de prise de fonction souhaitée**: 2025-10-01
- **Durée de contrat**: 2 ans
- **Date limite pour postuler**: 2025-09-26

**Consignes pour postuler**:
**Sécurité défense**:
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

**Politique de recrutement**:
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

**Contacts**:

- **Équipe Inria**: QUACS
- **Recruteur**:
**L'essentiel pour réussir**:
Vous avez un diplôme de thèse (ou équivalent) en informatique théorique. Vous avez travaillé sur le développement de langages quantiques et la compilation de programmes. Vous vous êtes en particulier attaché à la compilation de langages avec du controle quantique.

**A propos d'Inria**:
Inria est l’institut national de recherche dédié aux scie