H/F Postdoc en théorie des langages de programmation quantiques à l'IRIF

il y a 1 semaine

Paris ème, France JobiJoba FR S2 Temps plein

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 Compétences • 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) 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. 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 arrivée soit autorisée par l'autorité compétente du MESR. 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. 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 arrivée soit autorisée par l'autorité compétente du MESR.

  • H/F Postdoc en théorie des langages de programmation quantiques à l'IRIF

    il y a 7 jours

    Paris 13 Gobelins, Île-de-France Choisir le Service Public Temps plein

    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 VersantFonction Publique de l'Etat CatégorieCatégorie A (cadre) Nature de l'emploiEmploi ouvert uniquement aux contractuels Domaine / MétierRecherche -...

  • Postdoc à IRIF en cryptographie

    il y a 1 jour

    Paris 13ème, France JobiJoba FR S2 Temps plein

    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-2 ans) afin de travailler sur la cryptographie. Les sujets d'intérêt incluent, mais ne sont pas limités à, les preuves à divulgation nulle de connaissance, le calcul...

  • Postdoc à IRIF en cryptographie

    il y a 9 heures

    Paris 13 Gobelins, Île-de-France Choisir le Service Public Temps plein

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

  • IT Quant Junior Asset Management

    il y a 5 jours

    Paris, France LunaLogic Temps plein

    IT Quant Junior Asset Management (Programmation Orientée Objet) Lunalogic est un cabinet de conseil indépendant, établi depuis plus de vingt ans sur le marché français et international. Leader dans le conseil aux acteurs financiers (banques de financement et d'investissement, sociétés de gestion d'actifs, Fintech ou encore assurances), reconnu pour sa...

  • Quant - Risque de Crédit (It) / Freelance

    il y a 2 semaines

    Paris, France NEXORIS Temps plein

    Nexoris, recherche pour son client, secteur Bancaire, un Quant - Risque de crédit (H/F). Sujet de la mission : Conception et optimisation de modèles de risque de crédit, en collaboration avec diverses parties prenantes. Tâches et activités de la mission - Utiliser les langages de programmation R et Python pour créer et optimiser des modèles de...

  • Quants/IT Quants Equity/Taux/FX

    il y a 3 jours

    Paris, Île-de-France ALFIC Temps plein

    Pour 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

    il y a 2 semaines

    Paris, France LunaLogic Temps plein

    IT Quant / Quant R&D - Programmation orientée objet (junior à confirmé) Lunalogic est un cabinet de conseil indépendant, établi depuis plus de vingt ans sur le marché français et international. Leader dans le conseil aux acteurs financiers (banques de financement et d'investissement, sociétés de gestion d'actifs, Fintech ou encore assurances),...

  • IT Quant Python

    il y a 1 semaine

    Paris, France Hesperie Conseil Temps plein

    **L'entreprise** HESPERIE CONSEIL** est un cabinet de conseil spécialisé en Finance des Marchés et Asset Management. **HESPERIE CONSEIL** propose ses prestations haut de gamme aux institutions du monde de la finance, Banques de Financement et d’Investissement, Asset Managers et autres acteurs de «l’industrie financière». **Description du...

  • IR (H/F) en calculs de mécanismes en chimie organique

    Il y a 16 minutes

    Marseille 13ème, France JobiJoba FR S2 Temps plein

    L'objectif du projet est de caractériser et comprendre la chiralité de molécules. Un accent particulier sera à mettre sur l'étude du mécanisme de réactions catalysées. Activités - Calculs DFT de structures et analyse - Bibliographie scientifique - Rédaction d'articles de recherche - participation à des manifestations scientifiques - Rédaction de...

  • IT Quant C++

    il y a 8 heures

    Paris, France BMarkets Temps plein

    **Votre profil**: Nous recherchons un IT Quant C++ F/H. Rattaché à une équipe d ingénieurs financiers, de Quant ou à l entité R&D, vous intégrerez les équipes client afin de modéliser et implémenter les librairies de pricing et/ou de risk. Vous aurez en charge la mise à jour du code en C++ dans la libraire de pricing. Vous serez également le...