Postdoctorant en théorie des langages de programmation quantiques à IRIF
il y a 5 jours
Informations générales
Titre de l'offre : Postdoctorant en théorie des langages de programmation quantiques
Domaine : Informatique théorique
Contrat : CDD Scientifique
Durée : 12 mois
Quotité de travail : Temps complet
Rémunération : à partir 3080 € Brut
Niveau d'études souhaité : Niveau 8 - (Doctorat)
Expérience souhaitée : Indifférent
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Missions
L'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.
Activités
Recherche dans le cadre de l'équipe Preuves & Programmes
Participation aux séminaires de recherche et aux discussions de groupe
Encadrement de stagiaires, collaboration avec des doctorants
Compétences
Compétences : Doctorat en informatique théorique ou dans une discipline connexe
Mener un projet de recherche de façon indépendante
Rédiger des articles scientifiques et présenter ses travaux en séminaire
Compétences en matière d'organisation et de collaboration
Bonne compétences académiques en anglais (C1)
Une expertise en informatique quantique et/ou en langages graphiques comme les diagrammes de cordes ou les réseaux de preuves est un avantage
Contexte de travail
L'équipe étudie les fondements logiques et les méthodes formelles pour les langages de programmation quantique, en s'appuyant sur une solide expertise en logique linéaire, lambda calcul, types quantitatifs, et modèles pour les langages de programmation probabilistes.
Contraintes et risques
Pas de contraintes et pas de risques
-
Paris, Île-de-France CNRS Temps pleinOffre de postdoctorat en théorie des langages de programmation quantiquesL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) recherche un postdoctorant pour travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.Compétences requises : doctorat en informatique théorique...
-
Paris, Île-de-France CNRS Temps pleinOffre de posteL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) recherche un postdoctorant pour travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.MissionsLe postdoctorant travaillera sur les sujets suivants :Syntaxes graphiquesTypageSémantique...
-
Paris, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Postdoctorant en théorie des langages de programmation quantiquesDomaine : Informatique théoriqueL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes...
-
Postdoctorant en théorie des langages de programmation quantiques
il y a 1 semaine
Paris, Île-de-France CNRS Temps pleinOffre de postdoctorat en théorie des langages de programmation quantiquesL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.MissionsLe...
-
Postdoctorant en théorie des langages de programmation quantiques
il y a 1 semaine
Paris, Île-de-France CNRS Temps pleinOffre de postdoctorat en théorie des langages de programmation quantiquesL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.Compétences...
-
Postdoctorant en théorie des langages de programmation quantiques
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinOffre de posteTitre de l'offre : Postdoctorant en théorie des langages de programmation quantiquesContexte : L'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de...
-
Paris, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Postdoctorat en théorie des langages de programmation quantiquesSection CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitationsL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste...
-
Postdoctorant en théorie des langages de programmation quantiques
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinOffre de postdoctoratL'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour un poste de post-doctorat afin de travailler sur les fondements logiques et les méthodes formelles pour les langages de programmation quantiques.MissionsRecherche dans le cadre de l'équipe Preuves &...
-
Postdoctorant en informatique quantique à IRIF
il y a 5 jours
Paris, Île-de-France CNRS Temps pleinPrésentation du posteL'équipe Algorithmes & Complexité de l'IRIF (CNRS, Université Paris-Cité) recherche un postdoctorant pour travailler sur la théorie de l'informatique quantique.MissionsLe postdoctorant travaillera sur des projets de recherche dans le domaine de l'informatique quantique, en collaboration avec les membres de...
-
Postdoctorant en informatique quantique à IRIF
il y a 6 jours
Paris, Île-de-France CNRS Temps pleinRejoignez notre équipe de recherche à IRIF pour travailler sur la théorie de l'informatique quantique. Nous sommes à la recherche d'un postdoctorant pour rejoindre notre équipe de chercheurs expérimentés.MissionsVous serez chargé de mener des recherches dans le domaine de l'informatique quantique, en collaboration avec notre équipe de chercheurs....
-
Postdoctorant en informatique quantique à IRIF
il y a 4 jours
Paris, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Postdoctorant en informatique quantique à IRIFDomaine : Informatique théoriqueContexte : L'équipe Algorithmes & Complexité de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour plusieurs postes de post-doctorat entièrement financés (1-3 ans) afin de travailler sur la théorie...
-
Postdoctorant en informatique quantique à IRIF
il y a 2 jours
Paris, Île-de-France CNRS Temps pleinOffre de posteLe CNRS recherche un postdoctorant pour rejoindre l'équipe Algorithmes & Complexité de l'IRIF à Paris. Le candidat sélectionné travaillera sur la théorie de l'informatique quantique.MissionsRecherche dans le cadre du groupe Algorithmes & Complexité - Participation au séminaire de recherche et aux discussions de groupe -...
-
Postdoctorant en informatique quantique à IRIF
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinOffre de postdoctorat en informatique quantiqueL'équipe Algorithmes & Complexité de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour plusieurs postes de post-doctorat entièrement financés (1-3 ans) afin de travailler sur la théorie de l'informatique quantique.MissionsRecherche dans le cadre du groupe...
-
Postdoctorant en informatique quantique à IRIF
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinOffre de postdoctorat en informatique quantiqueL'équipe Algorithmes & Complexité de l'IRIF (CNRS, Université Paris-Cité) à Paris (France) invite les candidatures pour plusieurs postes de post-doctorat entièrement financés (1-3 ans) afin de travailler sur la théorie de l'informatique quantique.MissionsRecherche dans le cadre du groupe...
-
Postdoctorant en informatique quantique à IRIF
il y a 1 semaine
Paris, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Postdoctorant en informatique quantiqueRéférence : UMR8243-FREMAG2-019Nombre de postes : 2Lieu de travail : ParisDomaine de recherche : Informatique quantiqueMissionsRechercher et développer des algorithmes quantiquesParticiper à des séminaires de recherche et des discussions de groupeEncadrer des stagiaires et...
-
Spécialiste en informatique quantique à IRIF
il y a 7 jours
Paris, Île-de-France CNRS Temps pleinRejoignez notre équipe de recherche à IRIF pour travailler sur la théorie de l'informatique quantique. Nous sommes à la recherche d'un spécialiste en informatique quantique pour rejoindre notre équipe de chercheurs expérimentés.MissionsVous serez chargé de mener des recherches dans le domaine de l'informatique quantique, en collaboration avec notre...
-
Paris, Île-de-France CNRS Temps pleinNous sommes à la recherche d'un chercheur postdoctoral pour rejoindre notre équipe de recherche à IRIF. Vous serez chargé de travailler sur la théorie de l'informatique quantique, en collaboration avec notre équipe de chercheurs expérimentés.ActivitésVous serez chargé de mener des recherches dans le domaine de l'informatique quantique, en...
-
Postdoctorant(e) en recherche sur les algorithmes algébriques
il y a 1 semaine
Paris, Île-de-France CNRS Temps pleinOffre de recherche postdoctoraleL'UMR 8243 IRIF du CNRS recherche un postdoctorant(e) pour mener des recherches sur les algorithmes liés aux modèles algébriques de calcul. Le candidat idéal possède une solide formation en mathématiques pures et une expérience en informatique quantique.MissionsÉtude de la relation entre les groupes algébriques...
-
Postdoctorant(e) en recherche sur les algorithmes algébriques
il y a 4 semaines
Paris, Île-de-France CNRS Temps pleinOffre de rechercheTitre de l'offre : Postdoctorant(e) en recherche sur les algorithmes algébriquesContexteLe CNRS recherche un postdoctorant(e) pour mener des recherches sur les algorithmes algébriques liés aux modèles de calcul quantique.MissionsLe postdoctorant(e) aura la responsabilité de :Étudier la relation entre les groupes algébriques...
-
Postdoctorant(e) en combinatoire
il y a 4 semaines
Paris, Île-de-France CNRS Temps pleinInformations généralesTitre de l'offre : Postdoctorant(e) en combinatoireDomaine : Combinatoire, théorie des graphesContexte : L'équipe combinatoire de l'IRIF recherche un postdoctorant(e) pour travailler sur les cartes combinatoires décorées par un modèle d'Ising ou un modèle de physique statistique.MissionsLe postdoctorant(e) sera chargé(e) de...