[h/f] Postdoc en Théorie Des Langages de

Il y a 3 mois

Paris e, France CNRS Temps plein

Cette offre est disponible dans les langues suivantes:

- Français
- Anglais

Date Limite Candidature : mardi 5 novembre 2024 23:59:00 heure de Paris

**Informations générales**:
**Intitulé de l'offre **:[H/F] Postdoc en théorie des langages de programmation quantiques à IRIF**
Référence : UMR8243-JEMSAM0-010
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : vendredi 4 octobre 2024
Type de contrat : CDD Scientifique
Durée du contrat : 12 mois
Date d'embauche prévue : 1 janvier 2025
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**:
Parmi les sujets d'intérêt possibles, mais non exclusifs, figurent les syntaxes graphiques, le typage, et la sémantique dénotationnelle.

**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. L'équipe comprend comme membres permanents Alexis Saurin, Thomas Ehrhard, Claudia Faggian, Paul-André Melliès, Delia Kesner, Giovanni Bernardi.

Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre intégration soit autorisée par l'autorité compétente du MESR.

**Contraintes et risques**:
Pas de contraintes et pas de risques

  • Postdoc 2ans. Groupes Quantiques, Algebres

    il y a 1 mois

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : samedi 21 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc 2ans. Groupes quantiques, algebres W-affines et branches de Coulomb (H/F)** Référence : UMR7586-ERIVAS-001 Nombre de Postes : 1 Lieu de...

  • Postdoc à Irif en Cryptographie

    Il y a 4 mois

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 16 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc à IRIF en cryptographie (H/F)** Référence : UMR8243-GEOCOU-003 Nombre de Postes : 2 Lieu de travail : PARIS 13 Date de publication : lundi...

  • Postdoc en Physico-chimie Théorique

    Il y a 3 mois

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 5 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc en physico-chimie théorique (H/F)** Référence : UMR8234-BENROT-013 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication :...

  • Postdoc à Irif en Informatique Quantique

    Il y a 2 mois

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 18 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc à IRIF en informatique quantique (H/F)** Référence : UMR8243-FREMAG2-020 Nombre de Postes : 1 Lieu de travail : PARIS 13 Date de publication...

  • Postdoc à Irif en Informatique Quantique

    Il y a 3 mois

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 29 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc à IRIF en informatique quantique (H/F)** Référence : UMR8243-FREMAG2-019 Nombre de Postes : 2 Lieu de travail : PARIS 13 Date de publication...

  • Postdoc 2 Ans, Géométrisation Des Correspondances

    Il y a 2 mois

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 25 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc 2 ans, géométrisation des correspondances de Langlands locales (H/F)** Référence : UMR7586-PIECOL-006 Nombre de Postes : 1 Lieu de travail...

  • Postdoc 1 An, Geometrie Arithmetique

    il y a 3 semaines

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 6 janvier 2025 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre**:Postdoc 1 an, Geometrie Arithmetique H/F** Référence : UMR7586-GREBAL-003 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : lundi 16...

  • Postdoc 2 Ans, Méthodes Analytiques en Dynamique

    Il y a 2 mois

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 10 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc 2 ans, Méthodes analytiques en dynamique et géométrie (H/F)** Référence : UMR7586-THILEF-001 Nombre de Postes : 1 Lieu de travail : PARIS...

  • 1 Postdoc en Deep Learning Pour La Biologie

    Il y a 3 mois

    Paris 15e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 22 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:1 postdoc en deep learning pour la biologie structurale (H/F)** Référence : UMR3528-MASBON-003 Nombre de Postes : 1 Lieu de travail : PARIS 15 Date de...

  • Postdoctorat en Physique Théorique Des Hautes énergies, Gravité Et Théorie Des Cordes

    il y a 2 semaines

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : samedi 11 janvier 2025 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre**:Postdoctorat en physique théorique des hautes énergies, gravité et théorie des cordes (H/F)** Référence : UMR7164-KEVVEL-035 Nombre de Postes :...

  • Postdoc en Modélisation économique Appliquée à

    il y a 4 semaines

    Paris 17e, France CNRS Temps plein

    Date Limite Candidature : mardi 24 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc en modélisation économique appliquée à l'édition scientifique - H/F** Référence : UMR8598-ABDMAD-001 Nombre de Postes : 1 Lieu de travail : PARIS 17 Date de publication : mardi 3 décembre 2024 Type de contrat : IT...

  • Postdoc en Modélisation Des Matériaux de Batterie

    Il y a 4 mois

    Paris 5e, 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 **:Postdoc en modélisation des matériaux de batterie (H/F)** Référence : UMR8234-MATSAL-009 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de...

  • Postdoc - Simulation Des électrolytes à Haut

    Il y a 2 mois

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 26 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc - simulation des électrolytes à haut potentiel pour les futures batteries Li-ion (H/F)** Référence : UMR8234-MATSAL-011 Nombre de Postes :...

  • Postdoc (H/F)

    Il y a 4 mois

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : samedi 28 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc (H/F) - Programmation moléculaire et séquençage ADN pour le profilage microARN** Référence : UMR7083-GUIGIN-011 Nombre de Postes :...

  • Postdoc (H/F)

    il y a 3 semaines

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 1 janvier 2025 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre**:Postdoc H/F** Référence : UMR7241-MARMAN-001 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : mercredi 11 décembre 2024 Type de...

  • Postdoc en Modélisation de Glaces Sous Pression

    Il y a 3 mois

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 24 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc en modélisation de glaces sous pression (H/F)** Référence : UMR7590-ARTFRA-001 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de...

  • Postdoc (H/F) recherche Et Caractérisation

    Il y a 2 mois

    Paris 14e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 13 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc H/F "Recherche et caractérisation d’exoplanètes avec SPIRou et SOPHIE à l'IAP"** Référence : UMR7095-GUIHEB-003 Nombre de Postes :...

  • [h/f] Postdoctorant(E) la Recherche Sur Les

    Il y a 3 mois

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 22 janvier 2025 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:[H/F] Postdoctorant(e) "la recherche sur les algorithmes liés aux modèles algébriques de calcul"** Référence : UMR8243-JEMSAM0-009 Nombre de...

  • Postdoc 15 Mois en Analyse Fonctionnelle Et

    il y a 1 mois

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : dimanche 22 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Postdoc 15 mois en Analyse Fonctionnelle et Géométrie Métrique (H/F)** Référence : UMR7586-ALEESK-001 Nombre de Postes : 1 Lieu de travail :...

  • Postdoc (H/F) - Modèles Génératifs Hybrides Pour La Quantification D'images Médicales en 4d

    il y a 2 semaines

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 10 janvier 2025 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre**:Postdoc H/F - Modèles génératifs hybrides pour la quantification d'images médicales en 4D** Référence : UMR7225-NINBUR-006 Nombre de Postes :...