H/F Postdoc en théorie des langages de programmation quantiques à l'IRIF
il y a 7 jours
Informations générales
Organisme de rattachement
CNRS
Référence
UMR8243-SANMAR-007
Date de début de diffusion
/01/2026
Date de parution
/01/2026
Date de fin de diffusion
/02/2026
Versant
Fonction Publique de l'Etat
Catégorie
Catégorie A (cadre)
Nature de l'emploi
Emploi ouvert uniquement aux contractuels
Domaine / Métier
Recherche - Chercheuse / Chercheur
Statut du poste
Vacant
Intitulé du poste
H/F Postdoc en théorie des langages de programmation quantiques à l'IRIF
Descriptif de l'employeur
Le Centre national de la recherche scientifique est un organisme public de recherche pluridisciplinaire placé sous la tutelle du ministère de l'Enseignement supérieure et de la Recherche. Créé en 1939 et dirigé par des scientifiques, il a pour mission de faire progresser la connaissance et être utile à la société dans le respect des règles d'éthique, de déontologie et d'intégrité scientifique.
Description du poste
Missions :
L'équipe Preuves & Programmes de l'IRIF (CNRS, Université Paris Cité) invite les candidatures pour un poste postdoctoral en fondements logiques et méthodes formelles pour les langages de programmation quantiques. Thématiques (non exhaustives) :
• Modèles de calcul quantique (λ-calculs, réécriture, langages graphiques, calculs de processus)
• Modèles causaux quantiques
• Systèmes de types quantiques
Activités :
• Recherche au sein de l'équipe Preuves & Programmes
• Participation aux séminaires et discussions d'équipe
• Encadrement de stagiaires, collaboration avec doctorants
Contexte de travail :
L'équipe étudie les fondements logiques et méthodes formelles des langages quantiques en s'appuyant sur une expertise reconnue en logique linéaire, λ-calcul, systèmes de types, et
sémantique des langages de programmation probabilistes.
Membres permanents : A. Saurin, T. Ehrhard, C. Faggian, P.-A. Melliès, D. Kesner, G. Bernardi.
Conditions particulières d'exercice
Le Centre national de la recherche scientifique est l'une des plus importantes institutions publiques au monde : femmes et hommes (plus de 1 000 laboratoires et 200 métiers), en partenariat avec les universités et les grandes écoles, y font progresser les connaissances en explorant le vivant, la matière, l'Univers et le fonctionnement des sociétés humaines. Depuis plus de 80 ans, y sont développées des recherches pluri et interdisciplinaires sur tout le territoire national, en Europe et à l'international. Le lien étroit que le CNRS tisse entre ses missions de recherche et le transfert vers la société fait de lui un acteur clé de l'innovation en France et dans le monde. Le partenariat qui le lie avec les entreprises est le socle de sa politique de valorisation et les start-ups issues de ses laboratoires (près de 100 chaque année) témoignent du potentiel économique de ses travaux de recherche.
Descriptif du profil recherché
Competences :
• Doctorat en informatique théorique (ou domaine proche)
• Capacité à mener des recherches autonomes
• Expérience en rédaction et présentations scientifiques
• Compétences organisationnelles et travail en équipe
• Anglais C1 (ou équivalent)
• Expérience en théorie des langages des programmation quantiques (expertise sur les thématiques ci-dessus est un atout)
Contraintes et risques :
Temps plein
Oui
Rémunération contractuels (en € brut/an)
Entre 3,131.32 € et 4 756,76 € bruts mensuels selon expérience
Localisation du poste
Europe, France, Île-de-France, Paris (75)
Géolocalisation du poste
PARIS 13
Lieu d'affectation (sans géolocalisation)
75205 PARIS 13 (France)
Critères candidatNiveau d'études / Diplôme
Niveau 8 Doctorat/diplômes équivalents
Spécialisation
Formations générales
Langues
Français (Seuil)
-
Postdoc à IRIF en cryptographie
il y a 13 heures
Paris 13 Gobelins, Île-de-France Choisir le Service Public Temps pleinInformations générales Organisme de rattachement CNRS Référence UMR8243-TIFKON-006 Date de début de diffusion /01/2026 Date de parution /01/2026 Date de fin de diffusion /02/2026 VersantFonction Publique de l'Etat CatégorieCatégorie A (cadre) Nature de l'emploiEmploi ouvert uniquement aux contractuels Domaine / MétierRecherche -...
-
Chargé-e de communication dans les sciences informatiques H/F
il y a 2 semaines
Paris 13 Gobelins, Île-de-France Choisir le Service Public Temps pleinInformations générales Organisme de rattachement CNRS Référence UMR8243-MOBINT-P61024 Date de début de diffusion /12/2025 Date de parution /01/2026 Date de fin de diffusion /01/2026 VersantFonction Publique de l'Etat CatégorieCatégorie A (cadre) Nature de l'emploiEmploi ouvert aux titulaires et aux contractuels Domaine /...
-
Quants/IT Quants Equity/Taux/FX
il y a 4 jours
Paris, Île-de-France ALFIC Temps pleinPour accompagner nos clients, grandes BFI de la Place Parisienne, nous recherchons desQuantset desIT Quants expérimentés sur lesdérivésEquity/Taux/FX/Crédit.Dans le cadre de ses missions, le ou la candidat(e) participera à la conception et au développement de librairies financières servant au pricing de produits dérivés ainsi qu'aux calculs...
-
IT Quant Pretrade
il y a 2 jours
Paris, Île-de-France Natixis Corporate & Investment Banking Temps pleinPoste et missionsPOSTE ET MISSIONSL'équipe Pre Trade Pricing Tools que vous rejoignez est composée de 36 personnes au sein de la DSI de Natixis CIB. Cette équipe est dédiée à la mise en place de solution IT pour les activités Front-Office cross assets et à l'accompagnement des métiers pour leur permettre de capitaliser au mieux sur les technologies...
-
Chercheur postdoctoral
il y a 2 semaines
Paris 13 Gobelins, Île-de-France Choisir le Service Public Temps pleinInformations générales Organisme de rattachement CNRS Référence UMR7586-TOMIBA-001 Date de début de diffusion /11/2025 Date de parution /01/2026 Date de fin de diffusion /01/2026 Intitulé long de l'offre Chercheur postdoctoral (H/F) Date limite de candidature08/12/2025 Nature du contratCDD de 2 ans VersantFonction Publique de...
-
IT Quant Pretrade
il y a 2 jours
Paris, Île-de-France Natixis Temps pleinPoste et missionsPOSTE ET MISSIONSL'équipe Pre Trade Pricing Tools que vous rejoignez est composée de 36 personnes au sein de la DSI de Natixis CIB. Cette équipe est dédiée à la mise en place de solution IT pour les activités Front-Office cross assets et à l'accompagnement des métiers pour leur permettre de capitaliser au mieux sur les technologies...
-
Paris, Île-de-France Sopra Steria Temps pleinDescription de l'entreprise Sopra Steria, acteur majeur de la Tech en Europe, avec collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions numériques. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le Groupe apporte une réponse globale aux...
-
Stage - Calcul Quantique - Services Financiers - Ile-de-France
il y a 1 semaine
Paris, Île-de-France Sopra Steria Temps pleinSopra Steria, acteur majeur de la Tech en Europe, avec collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions numériques. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le Groupe apporte une réponse globale aux enjeux de compétitivité des...
-
IT Quant Pretrade and XVA
il y a 2 jours
Paris, Île-de-France Natixis Corporate & Investment Banking Temps pleinPoste et missionsPOSTE ET MISSIONSL'équipe Pre Trade Pricing Tools que vous rejoignez est composée de 36 personnes au sein de la DSI de Natixis CIB. Cette équipe est dédiée à la mise en place de solution IT pour les activités Front-Office cross assets et à l'accompagnement des métiers pour leur permettre de capitaliser au mieux sur les technologies...
-
Développeur Front-End F/H
il y a 7 jours
Paris 13 Gobelins, Île-de-France Groupe La Poste Temps pleinInformations générales Branche / Entité Entité d'affectation : DOCAPOSTE IOT Référence D Personne à contacter Intitulé du posteDéveloppeur Front-End F/H Nombre de postes à pourvoir1 Filière / MétierPROJETS - CHEF DE PROJETClasse ClasseGroupe ADescription du poste VOS PRINCIPALES MISSIONS Ton rôle en tant que Développeur Front-End...