Doctorant (F/H) Programmation Quantique Avec

il y a 4 jours

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 quantique [1,2,3]. Le contrôle quantique est une caractéristique centrale de l'informatique quantique qui permet de programmer des opérations basées sur des données quantiques : pendant l'exécution du programme, le contrôle quantique peut permettre des superpositions quantiques d'évolutions qui dépendent d'un état quantique et, par conséquent, fournit toutes les fonctionnalités quantiques auxquelles un programmeur peut vouloir accéder.

L'une des principales difficultés rencontrées lors du développement de tels langages de programmation est d'assurer la faisabilité des programmes. Il s'agit de vérifier que les programmes écrits ne violent pas les lois de la mécanique quantique. Un exemple fondamental de contrôle quantique est le commutateur quantique [4] qui entre deux évolutions quantiques U et V, et un qubit de contrôle, et consiste à appliquer U suivi de V ou V suivi de U en fonction de l'état du qubit de contrôle. Le commutateur quantique ne peut pas être appliqué arbitrairement à n'importe quelle évolution quantique sur deux qubits, car le programme correspondant peut n'avoir aucune signification physique. Par conséquent, une question importante est de concevoir des langages de programmation avec des restrictions appropriées, garantissant leur évolution valide.

**Principales activités**:
Dans cette thèse, nous aimerions résoudre ce problème en contribuant au développement de langages de programmation ayant à la fois un contrôle quantique et une signification physique. Les restrictions étudiées peuvent être de nature différente, par exemple, des contraintes syntaxiques, un ensemble fixé de générateurs ou des systèmes de types. Pour, on peut penser à un système de types garantissant qu'une opération sur plusieurs qubits est 'non-signaling', c'est-à-dire que l'opération peut être exprimée comme ayant le type A B -> A' -> B' avec la garantie qu'aucune information ne peut circuler de A à B' ou de B à A'.

Nous aimerions également envisager un processus de compilation vers un modèle de bas niveau pertinent à déterminer, par exemple les circuits quantiques [5] ou le PBS-calculus [6], fournissant ainsi des implémentations physiques de programmes de haut niveau. Idéalement, le modèle considéré aura des propriétés de complexité adéquates et nous permettra de représenter les programmes efficacement. La réussite de cette thèse devrait permettre de mieux comprendre les limites physiques des langages de programmation et de progresser vers le développement de langages de programmation d'ordre supérieur avec contrôle quantique.

**Compétences**:

- Connaissances de base sur:
- l'informatique quantique
- les langages de programmation

**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**:
2100€ brut/mois la 1ère année

**Informations générales**:

- **Thème/Domaine**: Preuves et vérification
Calcul Scientifique (BAP E)
- **Ville**: Villers lès Nancy
- **Centre Inria**: Centre Inria de l'Université de Lorraine
- **Date de prise de fonction souhaitée**: 2024-10-01
- **Durée de contrat**: 3 ans
- **Date limite pour postuler**: 2024-07-24

**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**: MOCQUA
- **Directeur de thèse**:
**A propos d'Inria**:
Inria est l’institut nati

  • Doctorant (F/H) Langage de Programmation Quantique

    il y a 1 semaine

    Strasbourg, France Inria Temps plein

    **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...

  • Doctorant en Chimie Analytique Et Spectrométrie de

    il y a 2 semaines

    Strasbourg, France CNRS Temps plein

    Cette 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 1 semaine

    Strasbourg, Grand Est, France CNRS Temps plein

    Cette 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...

  • Doctorant en Physique Des Particules

    Il y a 2 mois

    Strasbourg, France CNRS Temps plein

    Cette 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 plein

    Cette 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...

  • Doctorant en chimie analytique et spectrométrie de masse pour le vivant

    il y a 1 semaine

    Strasbourg, Grand Est, France CNRS Temps plein

    Doctorant 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 1 semaine

    Strasbourg, Grand Est, France CNRS Temps plein

    Cette 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 (H/F)

    il y a 2 jours

    Strasbourg, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 17 juillet 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F): Analyse de surface des électrodes céramiques pour la production d'hydrogène vert à l'aide de cellules d'électrolyse de la...

  • Doctorant en Physique Nucléaire, Instrumentation

    il y a 3 semaines

    Strasbourg, France CNRS Temps plein

    Cette 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 1 semaine

    Strasbourg, France CNRS Temps plein

    Cette 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 1 semaine

    Strasbourg, France CNRS Temps plein

    Cette 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 plein

    Cette 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 1 semaine

    Strasbourg, France CNRS Temps plein

    Cette 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 (H/F)

    Il y a 2 mois

    Strasbourg, France CNRS Temps plein

    Cette 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 1 semaine

    Strasbourg, Grand Est, France CNRS Temps plein

    Cette 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 plein

    Informations 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 plein

    Informations 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 7 jours

    Strasbourg, France CNRS Temps plein

    Cette 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 :...

  • Doctorant en Technologie Des Détecteurs

    il y a 3 semaines

    Strasbourg, France CNRS Temps plein

    Cette 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 (H/F)

    il y a 3 semaines

    Strasbourg, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 15 décembre 2023 **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) : Caractérisation multi-omique du rôle des mécanismes de protection contre l'autoxicité pour l'évolution du métabolisme des plantes** Référence :...