Doctorant (H/F)

il y a 4 semaines

Paris e, France CNRS Temps plein

Cette offre est disponible dans les langues suivantes:

- Français
- Anglais

Date Limite Candidature : vendredi 13 septembre 2024 23:59:00 heure de Paris

**Informations générales**:
**Intitulé de l'offre **:Doctorant (H/F) à l'IRIF - formalisation des preuves de diagrammes commutatifs**
Référence : UMR8243-OMUAVC-007
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : vendredi 23 août 2024
Type de contrat : CDD Doctorant/Contrat doctoral
Durée du contrat : 36 mois
Date de début de la thèse : 1 décembre 2024
Quotité de travail : Temps complet
Rémunération : La rémunération est d'un minimum de 2135,00 € mensuel
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

**Description du sujet de thèse**:
Contexte de la thèse

L'avènement récent de la théorie des catégories appliquée et les projets de formalisation des mathématiques à grande échelle à l'aide d'assistants de preuve tels que Coq, Isabelle/HOL ou Lean ont ouvert des voies de recherche prometteuses à la frontière de plusieurs disciplines théoriques. Nous proposons de combiner ces paradigmes dans un domaine de recherche en informatique théorique qui s'y prête idéalement : la théorie de la réécriture catégorielle compositionnelle, une généralisation moderne de l'approche algébrique de la réécriture de graphes.

Depuis les travaux pionniers d'Ehrig et al. au début des années 1970, avec comme étape essentielle l'introduction de la théorie des catégories adhésives par Lack et Sobocinski au début des années 2000, l'approche de la réécriture catégorielle permet de traiter une grande variété de systèmes ayant un intérêt pratique et théorique et s'est imposée de facto comme l'approche standard dans le domaine. Une particularité de la réécriture catégorielle concerne la nature des lemmes et des preuves dans ce formalisme, qui utilisent de façon intensive les diagrammes commutatifs et le calcul diagrammatique. Cette particularité incite naturellement à développer une approche appropriée pour exploiter ce raisonnement mathématique fortement modulaire dans le cadre de développements formels dans Coq et explorer la possibilité d'interagir avec Coq sous forme de diagrammes.
L'un des principaux objectifs de ce projet concerne le développement et la gestion d'un système wiki interactif basé sur Coq pour la théorie de la réécriture catégorielle, visant à la fois à certifier et à préserver les connaissances dans ce domaine de recherche dans un format moderne et librement accessible.

Description du projet de doctorat

Le projet a plusieurs objectifs principaux : développer un cadre de « règles de raisonnement diagrammatique » pour les preuves diagrammatiques dans la théorie des catégories, implémenter ce calcul dans l'assistant de preuve Coq, et développer une bibliothèque de preuves diagrammatiques pour la théorie de la réécriture compositionnelle. Le point de départ de cette recherche sera les avancées récentes réalisées par l'équipe CoREACT sur les calculs de croquis conditionnels et généralisés. Les objectifs théoriques du projet de thèse se concentrent sur l'exploration de la méthodologie des « règles de raisonnement diagrammatique » dans le contexte de la théorie des catégories, y compris la théorie des catégories simples, la théorie des catégories doubles, les concepts fibrationnels et, finalement, la théorie de la réécriture catégorielle. Cette exploration permettra d'approfondir la compréhension théorique des preuves diagrammatiques dans ces domaines.

Globalement, ce projet ambitionne de faire progresser les aspects théoriques et pratiques des calculs de preuves diagrammatiques, en fournissant des outils et des connaissances utiles aux chercheurs et aux praticiens des méthodes formelles et de la théorie des catégories.

**Contexte de travail**:
IRIF (PPS) : L'équipe Preuves, Programmes et Systèmes de l'IRIF accueille des chercheurs et des étudiants d'horizons scientifiques variés (en informatique et en mathématiques) sur le thème des fondements et de la pratique des langages de programmation et des systèmes distribués. PPS développe également des méthodes et des outils pour la modélisation des systèmes biologiques et de nouvelles méthodes pour le développement et la maintenance de systèmes dans un cadre de logiciel libre. Enfin, PPS est un acteur majeur dans le domaine des assistants de preuve. PPS dirige également le projet PiCube avec l'INRIA et joue un rôle crucial, en collaboration avec l'INRIA et l'UPMC.

LIX (PARTOUT) : L'équipe PARTOUT explore les formalismes déductifs et computationnels, en se concentrant sur une méta-théorie fiable et vérifiable. L'équipe étudie les propriétés combinatoires et la théorie de la complexité de ces formalismes, ainsi que la nature essentielle de ces formalismes, tels que l'id

  • Doctorant (H/F)

    il y a 3 semaines

    Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 17 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) - Mécanisme moléculaire de la régulation de l’AMPK par le signal « glucose » chez la levure S. cerevisiae** Référence :...

  • Doctorant en Biologie Cellulaire

    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 : mercredi 25 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant en biologie cellulaire (H/F)** Référence : UMR7592-PAUCON-008 Nombre de Postes : 1 Lieu de travail : PARIS 13 Date de publication :...

  • Post-doctorant (H/F)

    Il y a 3 mois

    Paris 13e, France ICM Institut du Cerveau Temps plein

    **L’Institut du Cerveau (ICM), recrute** - **Un(e) Post-doctorant(e) H/F**_ **Poste à pourvoir dès que possible** **CDD** - **A Paris 13ème**_ - L’Institut du Cerveau est une Fondation privée reconnue d’utilité publique dont l’objet est la recherche fondamentale et clinique sur le système nerveux. Sur un même lieu, 700 chercheurs,...

  • Doctorant (H/F)

    il y a 6 jours

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 3 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:doctorant (H/F) au PMMH** Référence : UMR7636-FREAUG-051 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : jeudi 12 septembre...

  • doctorant (H/F) au PMMH

    il y a 6 jours

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : doctorant (H/F) au PMMH Référence : UMR7636-FREAUG-051 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : jeudi 12 septembre 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 novembre 2024 Quotité de travail : Temps...

  • Doctorant (H/F)

    Il y a 2 mois

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant (H/F) Référence : UMR8240-NATHAC-002 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : mardi 9 juillet 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 novembre 2024 Quotité de travail : Temps complet...

  • Un(E) Post-doctorant(E)

    Il y a 3 mois

    Paris 13e, France ICM Institut du Cerveau Temps plein

    **L’Institut du Cerveau (ICM), recrute** - **Un(e) Post-doctorant(e) H/F**_ - **Poste à pourvoir dès que possible**_ **CDD** - **A Paris 13ème**_ - L’Institut du Cerveau est une Fondation privée reconnue d’utilité publique dont l’objet est la recherche fondamentale et clinique sur le système nerveux. Sur un même lieu, 700 chercheurs,...

  • Doctorant en biologie cellulaire

    il y a 2 semaines

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en biologie cellulaire (H/F) Référence : UMR7592-PAUCON-008 Nombre de Postes : 1 Lieu de travail : PARIS 13 Date de publication : mercredi 4 septembre 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 octobre 2024 Quotité de...

  • Post-doctorant (H/F) en Mesures Optiques sur les Nanomatériaux pour la Thermométrie

    il y a 2 semaines

    Paris, Île-de-France CNRS Temps plein

    Informations Générales Titre de l'Offre : Post-doctorant (H/F) en Mesures Optiques sur les Nanomatériaux pour la Thermométrie Contexte de Travail L'IRCP Chimie-Paris, au sein du Groupe MPOE (Matériaux pour la Photonique et l'OptoElectronique), UMR CNRS8247, recherche un post-doctorant pour rejoindre son équipe de recherche en...

  • Post Doctorant

    il y a 6 jours

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 3 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:post doctorant (H/F) au PMMH** Référence : UMR7636-FREAUG-052 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : jeudi 12 septembre...

  • Post-doctorant (H/F) en Mesures Optiques sur les Nanomatériaux pour la Thermométrie

    il y a 3 jours

    Paris, Île-de-France CNRS Temps plein

    Informations Générales Titre de l'Offre : Post-doctorant (H/F) en Mesures Optiques sur les Nanomatériaux pour la Thermométrie Contexte de Travail L'IRCP Chimie-Paris, au sein du Groupe MPOE (Matériaux pour la Photonique et l'OptoElectronique), UMR CNRS8247, recherche un post-doctorant pour rejoindre son équipe de recherche en...

  • Doctorant (H/F)

    Il y a 3 mois

    Paris 13e, France AMVALOR Temps plein

    La société AMVALOR, Société par Actions Simplifiée, réalise des travaux de recherche et des développements innovants dans les domaines du génie mécanique et du génie industriel principalement et s’appuie depuis 1973 sur les Centres d’Enseignement et de Recherche d’Arts et Métiers dont elle est devenue en juillet 2016 une filiale. Sa...

  • Doctorant en optimisation

    il y a 1 mois

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en optimisation (H/F) Référence : UMR7606-CARDOE-001 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : vendredi 16 août 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 octobre 2024 Quotité de travail :...

  • post doctorant

    il y a 6 jours

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : post doctorant (H/F) au PMMH Référence : UMR7636-FREAUG-052 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : jeudi 12 septembre 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche prévue : 1 novembre 2024 Quotité de travail : Temps complet...

  • Poste de doctorant en biologie moléculaire

    il y a 4 semaines

    Paris, Île-de-France CNRS Temps plein

    Informations généralesIntitulé de l'offre : Doctorant en biologie cellulaire et moléculaire (H/F)Type de contrat : CDD Doctorant/Contrat doctoralDurée du contrat : 36 moisQuotité de travail : Temps completDescription du sujet de thèseCe projet de recherche se concentre sur l'optimisation et l'exploration de biosenseurs innovants pour analyser les...

  • (H/F) Doctorant en Apprentissage Profond Pour La

    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 16 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Doctorant en apprentissage profond pour la biologie** Référence : UMR8197-VALHER-127 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de...

  • H/F Doctorant en apprentissage profond pour la biologie

    il y a 3 semaines

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : H/F Doctorant en apprentissage profond pour la biologie Référence : UMR8197-VALHER-127 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : lundi 26 août 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 décembre 2024...

  • Doctorant (H/F)

    il y a 2 jours

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 8 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) pour quantifier les incertitudes liées à la paramétrisation de la turbulence océanique dans les projections du changement...

  • Post-doctorant (H/F)

    il y a 2 semaines

    Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 25 septembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant (H/F) pour des mesures optiques sur les nanomatériaux pour la thermométrie** Référence : UMR8247-BRUVIA-006 Nombre de Postes :...

  • Doctorant en biologie cellulaire et moleculaire

    il y a 1 mois

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant en biologie cellulaire et moleculaire (H/F) Référence : UMR8104-ERICEC-003 Nombre de Postes : 1 Lieu de travail : PARIS 14 Date de publication : mercredi 14 août 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 octobre 2024...