Doctorant (F/H) Langage de Programmation Quantique
Il y a 2 mois
**Type de contrat **:CDD
**Niveau de diplôme exigé **:Bac + 5 ou équivalent
**Fonction **:Doctorant
**Mission confiée**:
Les algorithmes quantiques sont habituellement représentés par des circuits quantiques [Deu89]. Cette représentation ne permet pas d’utiliser des constructions de programmation de haut-niveau telles que les types de données ou les structures de contrôle. C’est pourquoi des langages de programmation quantiques ont été proposés [Sel04]. Parmi les développements récents, [CSV23] propose un langage qui permet de programmer des programmes réversibles et linéaires. Ce langage présente des constructions pour encoder les opérations unitaires. Ces constructions permettent d’effectuer du pattern matching réversible et, de ce fait, peuvent être vues comme des formes spécifiques systèmes de réécriture de termes.
Les systèmes de réécriture de termes définissent un programme via un ensemble de règles de réécriture. De nombreux travaux ont permis de certifier la terminaison et des résultats de complexité sur ces systèmes [BMM11 ; MP09]. Ces travaux utilisent des outils, appelés interprétation (quasi-interprétations, sup-interprétations) qui, combinées avec des techniques de terminaison (Recursive Path Ordering, Multiset Path Ordering), permettent de caractériser la classe des fonctions calculables en temps polynomial et celle des fonctions calculables en espace polynomial.
En informatique quantique, la complexité est définie en premier lieu à l’aide de machine de Turing quantiques (QTM) ou de famille de circuits quantiques. La classe de complexité naturelle est FBQP (Bounded-error Quantum Polynomial time) qui considère les fonctions qui s’exécutent en temps polynomial sur une QTM et donnent le bon résultat dans au moins 2/3 des cas. Cette notion de complexité correspond également aux fonctions qui peuvent être réalisées par une famille uniforme de circuits quantiques dont la taille augmente polynomialement avec le nombre de qubits. Plusieurs travaux récents [Yam20 ; HPS23] ont proposé des caractérisations de FBQP basées sur des algèbres de fonctions et des langages de programmation.
**Références**
[BMM11]Guillaume Bonfante, Jean-Yves Marion et Jean-Yves Moyen. « Quasi-interpretations a way to control resources ». In : Theoretical Computer Science 412.25 (juin 2011), p. 2776-2796. issn : 0304-3975. doi : 10.1016/j.tcs.2011.02.007.
[CSV23]Kostia Chardonnet, Alexis Saurin et Benoît Valiron. « A Curry-Howard Correspondence for Linear, Reversible Computation ». In : 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). T. 252. 2023, 13:1-13:18. doi : 10.4230/LIPIcs.CSL.2023.13.
[HPS23]Emmanuel Hainry, Romain Péchoux et Mário Silva. « A programming language characterizing quantum polynomial time ». In : Foundations of Software Science and Computation Structures (FoSSaCS 23). Paris, France, avr. 2023. doi : 10.1007/978-3-031-30829-1_8.
[MP09]Jean-Yves Marion et Romain Péchoux. « Sup-interpretations, a semantic method for static analysis of program resources ». In : ACM Transactions on Computational Logic 10.4 (août 2009), p. 1-31. issn : 1557-945X. doi : 10.1145/1555746.1555751.
[Sel04]Peter Selinger. « Towards a quantum programming language ». In : Mathematical Structures in Computer Science 14.4 (2004), p. 527-586. doi : 10.1017/S0960129504004256.
[Yam20]Tomoyuki Yamakami. « A schematic definition of quantum polynomial time computability ». In : Journal of Symbolic Logic 85.4 (2020), p. 1546-1587. doi : 10.1017/jsl.2020.45.
**Principales activités**:
Nous chercherons à développer des analyses statiques permettant de caractériser des classes de complexité quantique comme FBQP ainsi que de déterminer les ressources (temps, nombre de qubits,...) utilisées par un programme quantique.
Une première étape consistera à définir un langage de programmation et des contraintes sur ses programmes pour garantir que les fonctions calculées respectent les lois de la mécanique quantique : l’impossibilité de dupliquer un qubit, la réversibilité, l’unitarité des programmes.
Dans une deuxième étape, nous développerons les techniques permettant de garantir la complexité des programmes. Par exemple, en étendant les méthodes basées sur des techniques d’interprétations de programmes au cadre quantique.
Un dernier objectif consistera à certifier des propriétés de complexité des circuits quantiques obtenus par compilation des programmes. Par exemple en garantissant la polynomialité du nombre de portes quantiques utilisées par le circuit.
**Compétences**:
Compétences techniques:
- Informatique quantique
- Méthodes formelles
- Principes des Langages de Programmation
Langues:
Français/Anglais
**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'autoris
Nous avons d'autres emplois actuels liés à ce domaine que vous pouvez trouver ci-dessous
-
Doctorant (F/H) Programmation Quantique Avec
il y a 20 heures
Strasbourg, France Inria Temps plein**Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Niveau d'expérience souhaité **:Jusqu'à 3 ans **Mission confiée**: Le développement de langages de programmation quantiques incluant des primitives de contrôle quantique est actuellement l'un des problèmes les plus importants de l'informatique...
-
Doctorant en Technologie Des Détecteurs
il y a 3 semaines
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 3 mai 2023 **Informations générales**: **Intitulé de l'offre **:Doctorant en technologie des détecteurs H/F** Référence : UMR7178-REGSOM-141 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : mercredi 12 avril...
-
Doctorant en Chimie Analytique Et Spectrométrie de
il y a 1 semaine
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 13 mai 2024 **Informations générales**: **Intitulé de l'offre **:Doctorant en chimie analytique et spectrométrie de masse pour le vivant (H/F)** Référence : UMR7178-REGSOM-185 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de...
-
Doctorant en Physique Des Particules
il y a 5 jours
Strasbourg, Grand Est, France CNRS Temps pleinCette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : mardi 28 mai 2024**Informations générales**:**Intitulé de l'offre **:Doctorant en physique des particules - Expérience Belle II (H/F)**Référence : UMR7178-REGSOM-189Nombre de Postes : 1Lieu de travail : STRASBOURGDate de publication : mardi 7 mai...
-
Chercheur/chercheuse Post-doctorant(E) en
il y a 2 semaines
Strasbourg, France CNRS Temps pleinDate Limite Candidature : lundi 13 mars 2023 **Informations générales**: Référence : UPR22-LOIJIE-009 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : lundi 20 février 2023 Type de contrat : CDD Scientifique Durée du contrat : 13 mois Date d'embauche prévue : 3 avril 2023 Quotité de travail : Temps complet Rémunération :...
-
Doctorant en Physique Des Particules
Il y a 2 mois
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 28 mai 2024 **Informations générales**: **Intitulé de l'offre **:Doctorant en physique des particules - Expérience Belle II (H/F)** Référence : UMR7178-REGSOM-189 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : mardi 7...
-
Doctorant (H/F)
il y a 3 semaines
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 3 mai 2024 **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) - Propriétés optiques de matériaux nanocomposites multifonctionnels** Référence : UPR22-OLIFEL-004 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de...
-
Strasbourg, Grand Est, France CNRS Temps pleinDoctorant en chimie analytique et spectrométrie de masse pour le vivant (H/F) Cette offre est disponible dans les langues suivantes : Date Limite Candidature : lundi 13 mai 2024 Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler Informations générales Intitulé de l'offre : Doctorant en chimie analytique et...
-
Doctorant en Chimie
il y a 5 jours
Strasbourg, Grand Est, France CNRS Temps pleinCette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : mercredi 21 juin 2023**Informations générales**:**Intitulé de l'offre **:Doctorant en chimie - spécialité synthèse/chimie de coordination (H/F)**Référence : UMR7178-REGSOM-155Nombre de Postes : 1Lieu de travail : STRASBOURGDate de publication :...
-
Doctorant en Physique Nucléaire, Instrumentation
il y a 2 semaines
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 3 juin 2024 **Informations générales**: **Intitulé de l'offre **:Doctorant en physique nucléaire, instrumentation et radioprotection (H/F)** Référence : UMR7178-REGSOM-190 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication...
-
Doctorant en Astrophysique Nucléaire
il y a 7 jours
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 17 avril 2024 **Informations générales**: **Intitulé de l'offre **:Doctorant en Astrophysique Nucléaire (expérience STELLA) H/F** Référence : UMR7178-REGSOM-183 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication :...
-
Doctorant (H/F)
il y a 6 jours
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 13 juin 2024 **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) : Etude des populations neuronales dans les noyaux cérébelleux** Référence : UPR3212-ANTVAL-002 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de...
-
Doctorant (H/F)
il y a 3 semaines
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 26 juin 2023 **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) en Analyse de surface des électrodes céramiques pour la production d'hydrogène vert à l'aide de cellules d'électrolyse de la vapeur d'eau à haute...
-
Doctorant(E) (H/F)
il y a 7 jours
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 20 mars 2024 **Informations générales**: **Intitulé de l'offre **:Doctorant(e) (H/F): Vidéo électrochimique mesurée de la contre électrode** Référence : UMR7564-LIALIU-004 Nombre de Postes : 1 Lieu de travail : VILLERS LES NANCY Date de...
-
Doctorant en écologie Quantitative
Il y a 2 mois
Strasbourg, France CNRS Temps pleinDate Limite Candidature : lundi 30 janvier 2023 **Informations générales**: Référence : UMR7178-REGSOM-142 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : lundi 9 janvier 2023 Nom du responsable scientifique : SARAUX Claire Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse :...
-
Doctorant (H/F)
Il y a 2 mois
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 22 août 2023 **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) en nanomagnétisme** Référence : UMR7504-MATBAI-002 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : mardi 1 août 2023 Type de contrat :...
-
Doctorant en Nanosciences
il y a 5 jours
Strasbourg, Grand Est, France CNRS Temps pleinCette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : mardi 23 mai 2023**Informations générales**:**Intitulé de l'offre **:Doctorant en nanosciences (H/F)**Référence : UMR6174-FRECHE1-001Nombre de Postes : 1Lieu de travail : MONTBELIARDDate de publication : mardi 2 mai 2023Type de contrat : CDD...
-
Doctorant en chimie
il y a 1 mois
Strasbourg, France CNRS Temps pleinInformations générales Intitulé de l'offre : Doctorant en chimie (H/F) Référence : UMR7178-REGSOM-192 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : lundi 20 mai 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 octobre 2024 Quotité de travail : Temps...
-
Doctorant en chimie
il y a 3 semaines
Strasbourg, France CNRS Temps pleinInformations générales Intitulé de l'offre : Doctorant en chimie (H/F) Référence : UMR7178-REGSOM-192 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : lundi 20 mai 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 octobre 2024 Quotité de travail : Temps...
-
Doctorant en Chimie Analytique
il y a 5 jours
Strasbourg, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 12 juillet 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant en chimie analytique (H/F)** Référence : UMR7178-REGSOM-196 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication :...
