Emplois actuels liés à Doctorant (F/H) Langage de Programmation Quantique - Strasbourg - Inria

  • 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 : jeudi 26 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F): Plasma riche en plaquettes / Douleur neuropathique** Référence : UPR3212-MELKRE-001 Nombre de Postes : 1 Lieu de travail :...

  • Doctorant en chimie

    Il y a 2 mois

    Strasbourg, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en chimie (H/F) Référence : UMR7178-REGSOM-202 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : vendredi 9 août 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 novembre 2024 Quotité de travail : Temps...

  • Doctorant en physique appliquée au médical

    Il y a 2 mois

    Strasbourg, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en physique appliquée au médical (H/F) Référence : UMR7178-REGSOM-203 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : vendredi 9 août 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 novembre 2024...

  • Spécialiste Cryptographie Quantique

    Il y a 3 mois

    Strasbourg, France ORSO&PAOLI Temps plein

    Descriptif du poste Par rapport au caractère très sensible de cette société, plus d informations vous serons données lors de nos premiers échanges seulement. Il s agit d une opportunité unique de rejoindre une société qui marquera l histoire ( et qui a déjà commencé à le faire ) de la future révolution des ordinateurs quantiques et de la...

  • Doctorant (H/F): Plasma riche en plaquettes / Douleur neuropathique

    il y a 3 semaines

    Strasbourg, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant (H/F): Plasma riche en plaquettes / Douleur neuropathique Référence : UPR3212-MELKRE-001 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : jeudi 5 septembre 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 4...

  • Doctorant en physico-chimie

    il y a 1 mois

    Strasbourg, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en physico-chimie (H/F) : traitement enzymatique contre les biofilms Référence : UPR22-FOUBOU-011 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : lundi 26 août 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la...

  • Développeur Cobol

    il y a 2 semaines

    Strasbourg, Grand Est, France Amaris Consulting Temps plein

    Développeur Cobol - Assurance H/F (CDI)Vous êtes un expert en langage COBOL et avez une passion pour la programmation mainframe?Vous aurez l'opportunité de :Travailler sur des projets complexesMaintenir des systèmes critiquesCollaborer avec des professionnels expérimentés dans le domaine mainframeExigences :Minimum de 6 mois d'expérience dans le...

  • Doctorant (F/H) Analyse de La Géométrie Des

    Il y a 4 mois

    Strasbourg, France Inria Temps plein

    **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Contexte et atouts du poste**: **Dans le cadre d’un projet de recherche concernant les humanités numériques (projet Apollon)** **L’ objectif est de **procéder à une analyse fine des techniques de plongements de mots (algorithmes de type...

  • Doctorant en Biologie Moléculaire Des Plantes

    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 7 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant en Biologie Moléculaire des Plantes (H/F)** Référence : UPR2357-PAUJUL-002 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de...

  • Doctorant en Biologie Moléculaire des Plantes

    il y a 2 semaines

    Strasbourg, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en Biologie Moléculaire des Plantes (H/F) Référence : UPR2357-PAUJUL-002 Nombre de Postes : 1 Lieu de travail : STRASBOURG Date de publication : lundi 16 septembre 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 novembre 2024...

  • Doctorant (F/H) Faciliter Le Diagnostique

    Il y a 4 mois

    Strasbourg, France Inria Temps plein

    **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Contexte et atouts du poste**: Les nuisances sonores sont citées comme première source de gêne par les populations et constituent un enjeu sanitaire et social important, contribuant notamment au stress, aux déficits d'attention en classe, ou aux...

  • Thèse en physique appliquée pour la santé

    il y a 1 mois

    Strasbourg, Grand Est, France CNRS Temps plein

    Thèse en physique appliquée pour la santé (H/F) Cette offre est disponible dans les langues suivantes : Informations générales Intitulé de l'offre : Thèse en physique appliquée pour la santé (H/F) Référence : UMR7178-REGSOM-203 Nombre de Postes : 1 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Quotité de travail...

  • Chercheur en Chimie Environnementale H/F

    il y a 1 mois

    Strasbourg, Grand Est, France CNRS Temps plein

    Poste de Doctorant en Chimie (H/F)Nous recherchons un doctorant en chimie pour rejoindre notre équipe de recherche. Informations GénéralesIntitulé de l'offre : Doctorant en chimie (H/F)Type de contrat : CDD Doctorant/Contrat doctoralDurée du contrat : 36 moisQuotité de travail : Temps completDescription du Sujet de ThèseCette thèse se concentre sur...

  • Chercheur en physique appliquée à la médecine

    il y a 1 mois

    Strasbourg, Grand Est, France CNRS Temps plein

    Poste : Chercheur en physique appliquée à la médecine (H/F) Informations générales : - Type de contrat : CDD Doctorant/Contrat doctoral - Durée du contrat : 36 mois - Quotité de travail : Temps complet Description du sujet de recherche : Ce projet de recherche se concentre sur l'impact des radiations sur la santé humaine, en particulier dans le cadre...

  • Chercheur en physique appliquée à la santé

    il y a 1 mois

    Strasbourg, Grand Est, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en physique appliquée au médical (H/F) Référence : UMR7178-REGSOM-203 Nombre de Postes : 1 Lieu de travail : Strasbourg Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Quotité de travail : Temps complet Rémunération : La rémunération est d'un minimum de...

  • Doctorant (F/H) Nlp4nlp Pour Une éthique

    Il y a 3 mois

    Strasbourg, France Inria Temps plein

    **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Contexte et atouts du poste**: **Dans le cadre d’un partenariat** (vous pouvez choisir entre) - non pertinent - L'équipe-projet INRIA Sémagramme fait partie du centre Inria de l’université de Lorraine ainsi que du département Traitement...

  • Doctorant (F/H) Thèse de Doctorat / Algorithmes de

    Il y a 4 mois

    Strasbourg, France Inria Temps plein

    **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Autre diplôme apprécié **:Master **Fonction **:Doctorant **Contexte et atouts du poste**: **Equipe** **Contacts** **Mission confiée**: Ces dernières années, le succès d'AlphaZero dans la maîtrise de jeux complexes tels que les échecs et le Go a démontré la...

  • Gestionnaire International

    il y a 2 semaines

    Strasbourg, Grand Est, France Université de Strasbourg Temps plein

    Mission et ObjectifsL'Université de Strasbourg recherche un Gestionnaire International pour accompagner les chercheurs, les doctorants et les docteurs dans leur insertion professionnelle ou leur poursuite de carrière. Le candidat sélectionné sera chargé de développer une stratégie « Mission entreprise » et de veiller à la mise en œuvre de...

  • Technicien en Programmation d'Automates

    il y a 1 mois

    Strasbourg, Grand Est, France MCA Temps plein

    Votre mission chez MCA Dans le cadre de notre collaboration avec un client, vous serez impliqué dans un projet de programmation d'automates, prenant en charge la phase de test jusqu'à la mise en service sur site. Vos responsabilités incluent : Analyser et définir les besoins des clients Élaborer le cahier des charges Rédiger des analyses...

  • Doctorant (H/F) en Conception par une approche mécano-chimique originale de matériaux composites à base de pérovskites hybrides, matériaux carbonés et/ou ferrites dopées ou non comme absorbeur d'ondes électromagnétiques

    il y a 1 mois

    Strasbourg, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant (H/F) en Conception par une approche mécano-chimique originale de matériaux composites à base de pérovskites hybrides, matériaux carbonés et/ou ferrites dopées ou non comme absorbeur d'ondes électromagnétiques Référence : UMR7515-JULBER-075 Nombre de Postes : 1 Lieu de travail :...

Doctorant (F/H) Langage de Programmation Quantique

Il y a 3 mois

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