Postdoctorant en théorie des langages de programmation quantiques à IRIF

il y a 4 semaines


Paris, Île-de-France CNRS Temps plein

Offre de poste

L'é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.

Missions

Le postdoctorant travaillera sur les sujets suivants :

  • Syntaxes graphiques
  • Typage
  • Sémantique dénotationnelle

Compétences requises

Le candidat doit avoir un doctorat en informatique théorique ou dans une discipline connexe. Il doit être capable de mener un projet de recherche de façon indépendante, de rédiger des articles scientifiques et de présenter ses travaux en séminaire. De bonnes compétences académiques en anglais sont requises.

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.



  • Paris, Île-de-France CNRS Temps plein

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

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


  • Paris, Île-de-France CNRS Temps plein

    Informations généralesTitre de l'offre : Postdoctorant en théorie des langages de programmation quantiquesDomaine : Informatique théoriqueContrat : CDD ScientifiqueDurée : 12 moisQuotité de travail : Temps completRémunération : à partir 3080 € BrutNiveau d'études souhaité : Niveau 8 - (Doctorat)Expérience souhaitée : IndifférentSection(s) CN...


  • Paris, Île-de-France CNRS Temps plein

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


  • Paris, Île-de-France CNRS Temps plein

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


  • Paris, Île-de-France CNRS Temps plein

    Pré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...


  • Paris, Île-de-France CNRS Temps plein

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


  • Paris, Île-de-France CNRS Temps plein

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


  • Paris, Île-de-France CNRS Temps plein

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


  • Paris, Île-de-France CNRS Temps plein

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


  • Paris, Île-de-France CNRS Temps plein

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

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


  • Paris, Île-de-France CNRS Temps plein

    Postdoctorat en physico-chimie théorique Nous recherchons un postdoctorant pour rejoindre notre équipe de recherche en physico-chimie théorique. Le candidat idéal aura une solide formation en chimie physique et une expérience en simulations moléculaires. Missions Le postdoctorant travaillera sur le projet SENSES, qui vise à comprendre les...


  • Paris, Île-de-France CNRS Temps plein

    Présentation de l'offreLe CNRS recherche un chercheur postdoctoral pour travailler sur les algorithmes liés aux modèles algébriques de calcul. Ce poste est ouvert dans le cadre d'un projet de recherche visant à développer de nouvelles méthodes pour résoudre des problèmes complexes en informatique quantique.MissionsLe postdoctorant aura la...


  • Paris, Île-de-France CNRS Temps plein

    Offre de posteLe laboratoire PHENIX recherche un postdoctorant pour rejoindre l'équipe Modélisation et Expériences Multiéchelles. Le/la candidat(e) aura pour mission de participer au projet SENSES, coordonné par Benjamin Rotenberg, qui vise à comprendre les fluctuations électriques dans les fluides ioniques bulk, aux interfaces et...


  • Paris, Île-de-France CNRS Temps plein

    Informations sur l'offreTitre de l'offre : Postdoctorant en physique des particules théorique (H/F)Le candidat sélectionné devra mener des recherches en physique des particules théorique dans le cadre d'un projet ANR.MissionsLe candidat sélectionné devra mener des recherches originales en physique des particules théorique et publier ses...


  • Paris, Île-de-France CNRS Temps plein

    Présentation du posteLe CNRS, en collaboration avec l'Université Paris-Cité, recherche un chercheur postdoctoral pour travailler sur la théorie de l'informatique quantique. L'équipe Algorithmes & Complexité de l'IRIF propose un poste de post-doctorat entièrement financé pour une durée de 6 mois.MissionsRecherche dans le cadre du...


  • Paris, Île-de-France CNRS Temps plein

    Présentation du poste Le laboratoire PHENIX de l'unité mixte de recherche entre le CNRS et Sorbonne Université recherche un postdoctorant en physico-chimie théorique pour participer au projet SENSES. Ce projet vise à comprendre les fluctuations électriques dans les fluides ioniques bulk, aux interfaces et confinés. Missions Le/la postdoctorant·e sera...


  • Paris, Île-de-France CNRS Temps plein

    Présentation du posteLe laboratoire PHENIX recherche un postdoctorant pour rejoindre l'équipe Modélisation et Expériences Multiéchelles. Le candidat sélectionné participera au projet SENSES, coordonné par Benjamin Rotenberg, qui vise à comprendre les fluctuations électriques dans les fluides ioniques bulk, aux interfaces et...


  • Paris, Île-de-France CNRS Temps plein

    Présentation de l'offre Le CNRS cherche un chercheur postdoctoral pour travailler sur les algorithmes algébriques de calcul. Cette position est idéale pour les personnes ayant un doctorat en mathématiques ou en informatique et souhaitant explorer les liens entre les groupes algébriques linéaires et l'informatique quantique. Missions ...