Postdoctorant en théorie des langages de programmation quantiques à IRIF
il y a 4 semaines
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.
-
Postdoctorant en théorie des langages de programmation quantiques à IRIF
il y a 4 semaines
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...
-
Postdoctorant en théorie des langages de programmation quantiques à IRIF
il y a 3 semaines
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 à IRIF
il y a 4 semaines
Paris, Île-de-France CNRS Temps pleinInformations 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...
-
Postdoctorant en théorie des langages de programmation quantiques
il y a 4 semaines
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 à IRIF
il y a 4 semaines
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 informatique quantique à IRIF
il y a 4 semaines
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 4 semaines
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 semaines
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 3 semaines
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 4 semaines
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 4 semaines
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...
-
Chercheur postdoctoral en théorie de l'informatique quantique
il y a 4 semaines
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 en physico-chimie théorique
il y a 4 semaines
Paris, Île-de-France CNRS Temps pleinPostdoctorat 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...
-
Chercheur postdoctoral en modèles algébriques de calcul
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinPré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...
-
Postdoctorant en physico-chimie théorique
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinOffre 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...
-
Postdoctorant en physique des particules théorique
il y a 1 semaine
Paris, Île-de-France CNRS Temps pleinInformations 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...
-
Chercheur postdoctoral en informatique quantique
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinPré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...
-
Postdoctorant en physico-chimie théorique
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinPré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...
-
Postdoctorant en physico-chimie théorique
il y a 4 semaines
Paris, Île-de-France CNRS Temps pleinPré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...
-
Chercheur postdoctoral en algorithmes algébriques de calcul
il y a 3 semaines
Paris, Île-de-France CNRS Temps pleinPré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 ...