Doctorant F/H Programmation quantique avec contrôle cohérent
il y a 3 jours
Doctorant F/H Programmation quantique avec contrôle cohérent
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
-
Villers-lès-Nancy, France INRIA Temps pleinDoctorant F/H planification de la gestion de l'énergie sur des avions hybrides Type de contrat : CDD Niveau de diplôme exigé : Bac + 5 ou équivalent Fonction : Doctorant Mission confiée Airbus AI Research et l'INRIA cherchent un doctorant pour travailler sur le contrôle automatisé de la gestion de l'énergie sur des...
-
Villers-lès-Nancy, France INRIA Temps pleinDoctorant F/H planification de la gestion de l'énergie sur des avions hybrides Type de contrat : CDD Niveau de diplôme exigé : Bac + 5 ou équivalent Fonction : Doctorant Mission confiée Airbus AI Research et l'INRIA cherchent un doctorant pour travailler sur le contrôle automatisé de la gestion de l'énergie sur des...
-
Villers-lès-Nancy, Grand Est, France INRIA Temps pleinDoctorant F/H planification de la gestion de l'énergie sur des avions hybrides Type de contrat : CDD Niveau de diplôme exigé : Bac + 5 ou équivalent Fonction : Doctorant Mission confiée Airbus AI Research et l'INRIA cherchent un doctorant pour travailler sur le contrôle automatisé de la gestion de l'énergie sur des avions hybrides....
-
Doctorant en bioprocédés
il y a 1 semaine
Villers-lès-Nancy, Grand Est, France CNRS Temps pleinDoctorant en bioprocédés (H/F) Cette offre est disponible dans les langues suivantes : Date Limite Candidature : vendredi 14 juin 2024 Assurez-vous que votre profil candidat soit correctement renseigné avant de postulerInformations générales Intitulé de l'offre : Doctorant en bioprocédés (H/F)Référence : UMR7274-SOPBEA-003Nombre de Postes : 1Lieu...
-
Doctorant Génie des procédés
il y a 1 semaine
Nancy, Grand Est, France Inrs Temps pleinOffre-IP-01-PROCEP-D-RHL-24 (rubrique sélectionnée)Doctorant - Génie des Procédés - H/F CDD 3 ans - Vandoeuvre-lès-Nancy (54)Intitulé du Poste: Doctorant - Génie des ProcédésLocalisation: Vandoeuvre-lès-Nancy (54)Nature du Contrat: CDD 3 ansRémunération Annuelle Brute: 32 K€ annuels/brutsDate de l'Annonce: 15/02/2024Référence de l'Offre:...
-
Post-doctorant (H/F)
il y a 3 jours
Nancy, France CNRS Temps pleinCette 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 **:Post-Doctorant (H/F) :Synthèse et étude photophysique des nouveaux analogues de l'acide folique couplés à un photosensibilisateur pour traiter le...
-
Post-doctorant en Virologie Alimentaire Et
il y a 2 semaines
Nancy, France Actalia Temps plein**_L’indice égalité hommes / femmes chez ACTALIA est de : 89_** - _Indicateur rémunérations : 34_ - _Indicateur augmentations individuelles : 35_ - _Indicateur maternité : 15_ - _Indicateur hautes rémunérations: 5_ - **Post-doctorant en virologie alimentaire et environnement **- H/F** **Contrat**: CDD de 18 mois - **Localisation** : Nancy -...
-
Post-doctorant en Virologie Alimentaire Et
il y a 1 semaine
Nancy, Grand Est, France Actalia Temps plein**_L'indice égalité hommes / femmes chez ACTALIA est de : 89_**- _Indicateur rémunérations : 34_- _Indicateur augmentations individuelles : 35_- _Indicateur maternité : 15_- _Indicateur hautes rémunérations: 5_- **Post-doctorant en virologie alimentaire et environnement **- H/F****Contrat**: CDD de 18 mois - **Localisation** : Nancy - **Statut** :...
-
Doctorant en Sciences Humaines Et Sociales
il y a 3 semaines
Nancy, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 3 juillet 2023 **Informations générales**: **Intitulé de l'offre **:Doctorant en sciences humaines et sociales - sciences du langage H/F** Référence : UAR3261-NICBRU0-002 Nombre de Postes : 1 Lieu de travail : NANCY Date de publication : lundi...
-
Doctorant en Sciences Humaines Et Sociales
il y a 1 semaine
Nancy, Grand Est, France CNRS Temps pleinCette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : lundi 3 juillet 2023**Informations générales**:**Intitulé de l'offre **:Doctorant en sciences humaines et sociales - sciences du langage H/F**Référence : UAR3261-NICBRU0-002Nombre de Postes : 1Lieu de travail : NANCYDate de publication : lundi 12 juin...
-
Post-doctorant-e en Géologie
il y a 2 semaines
Nancy, France Université de Lorraine Temps plein**À propos de nous**: L’Université de Lorraine forme plus de 62 000 étudiants implantés sur des campus répartis sur 2 métropoles ainsi que 10 villes et agglomérations de son territoire. 7 000 personnels œuvrent à la réussite de ses missions dont 4000 personnels d’enseignement et de recherche, au sein de 60 unités de recherche structurées et...
-
Doctorant en bioprocédés
il y a 4 semaines
Nancy, France CNRS Temps pleinInformations générales Intitulé de l'offre : Doctorant en bioprocédés (H/F) Référence : UMR7274-SOPBEA-003 Nombre de Postes : 1 Lieu de travail : VILLERS LES NANCY Date de publication : vendredi 24 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...
-
Villers-lès-Nancy, Grand Est, France INRIA Temps pleinPost-Doctoral Research Visit F/M In Quantum Computing Programming Languages Le descriptif de l'offre ci-dessous est en Anglais Type de contrat : CDD Niveau de diplôme exigé : Thèse ou équivalent Fonction : Post-Doctorant Mission confiée The candidate will work on formal methods for quantum computing within the PEPR project EPIQ. The...
-
Post-doctorant Projet Pleiades
il y a 1 semaine
Nancy, France Université de Lorraine Temps plein1 **Post-doctorat projet PLEIADES - Fiche de poste **Contexte**: La personne recrutée s’intègrera à l’équipe de recherche du projet PLEIADES. PLEIADES (Projet Lorrain d’Environnement numérIque pour des Apprentissages DurablES de l’Université de Lorraine) a pour ambition de créer un environnement numérique intégrateur au service de...
-
Villers-lès-Nancy, France INRIA Temps pleinPost-Doctoral Research Visit F/M In Quantum Computing Programming Languages Le descriptif de l’offre ci-dessous est en Anglais Type de contrat : CDD Niveau de diplôme exigé : Thèse ou équivalent Fonction : Post-Doctorant Mission confiée The candidate will work on formal methods for quantum computing within the PEPR...
-
Villers-lès-Nancy, France INRIA Temps pleinPost-Doctoral Research Visit F/M In Quantum Computing Programming Languages Le descriptif de l’offre ci-dessous est en Anglais Type de contrat : CDD Niveau de diplôme exigé : Thèse ou équivalent Fonction : Post-Doctorant Mission confiée The candidate will work on formal methods for quantum computing within the PEPR...
-
Responsable financier-ère du LEMTA H/F
Il y a 2 mois
Nancy, France CNRS Temps pleinInformations générales Ouverte aux titulaires et CDI CNRS & fonction publique Intitulé de l'offre : Responsable financier-ère du LEMTA H/F Référence : UMR7563-MOBINT-Z56010 Lieu de travail : VANDOEUVRE LES NANCY Institut : INSIS - Institut des sciences de l'ingénierie et des systèmes Date de publication : vendredi 3 mai 2024 Session :...
-
Exploitation Du Couplage Spin-orbite Sur Les
il y a 2 semaines
Nancy, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 10 avril 2024 **Informations générales**: **Intitulé de l'offre **:Exploitation du couplage spin-orbite sur les composés épitaxiés (H/F)** Référence : UMR7198-MARTAI-099 Nombre de Postes : 1 Lieu de travail : NANCY Date de publication :...
-
Electronique de Spin Ultra-rapide
il y a 1 semaine
Nancy, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 14 juin 2024 **Informations générales**: **Intitulé de l'offre **:Electronique de Spin Ultra-rapide (H/F)** Référence : UMR7198-MARTAI-106 Nombre de Postes : 1 Lieu de travail : NANCY Date de publication : vendredi 24 mai 2024 Type de...
-
Gestionnaire Pédagogique
il y a 3 semaines
Nancy, France Université de Lorraine Temps plein**À propos de nous**: Et si vous contribuiez au rayonnement d’une université classée dans le top10 des universités françaises ? L’Université de Lorraine forme plus de 62 000 étudiants implantés sur des campus répartis sur 2 métropoles ainsi que 10 villes et agglomérations de son territoire. 7 000 personnels œuvrent à la réussite de ses...
