Doctorant (H/F)

Il y a 4 mois

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 mois

    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 3 mois

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

  • Doctorant Pour L Eprojet Ciblé Eupraxie

    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 : jeudi 17 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant pour l eprojet ciblé EUPRAXIE (PEPR ICCARE) H/F** Référence : UMR8103-XAVPHI-002 Nombre de Postes : 1 Lieu de travail : PARIS 13 Date de...

  • Doctorant (H/F)

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

  • Un(E) Post-doctorant(E)

    Il y a 6 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 1 semaine

    Paris 6e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 20 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant (H/F) en biologie structurale in-cell par RMN** Référence : UMR8038-FRATHE-002 Nombre de Postes : 1 Lieu de travail : PARIS 06 Date de...

  • (H/F) Doctorant en Biologie

    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 : vendredi 25 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Doctorant en Biologie** Référence : UMR8197-VALHER-134 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : vendredi 4 octobre...

  • Doctorant (H/F)

    Il y a 6 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...

  • Post Doctorant

    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 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 en Neurophysiologie

    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 : jeudi 12 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant en neurophysiologie (H/F)** Référence : UMR8249-ALEMOU-008 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication :...

  • Post Doctorant

    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 9 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post doctorant (H/F) signalisation WNK dans les interneurones et les cellules pyramidales** Référence : UMR8249-SABLEV-001 Nombre de Postes : 1 Lieu...

  • Post-doctorant en neurophysiologie

    il y a 2 semaines

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Post-doctorant en neurophysiologie (H/F) Référence : UMR8249-ALEMOU-008 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : jeudi 21 novembre 2024 Type de contrat : Chercheur en contrat CDD Durée du contrat : 12 mois Date d'embauche prévue : 10 janvier 2025 Quotité de travail :...

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

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

  • Post-doctorant en psychologie du développement et de l'éducation

    il y a 1 mois

    Paris, Île-de-France CNRS Temps plein

    Informations généralesTitre de l'offre : Post-doctorant en psychologie du développement et de l'éducation (H/F)Domaine de recherche : Psychologie du développement et de l'éducationContexte de travail : Le LaPsyDÉ (Laboratoire de Psychologie du Développement et de l'Éducation de l'Enfant, UMR CNRS 8240) est un laboratoire de recherche qui étudie les...

  • Doctorant/e en Biologie

    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 22 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Doctorant/e en biologie (H/F)** Référence : UMR8249-SERBIR-001 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : mardi 1 octobre...

  • Doctorant (H/F)

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

  • Doctorant sur le parcours de soins

    il y a 3 semaines

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant sur le parcours de soins (H/F) Référence : UMR8545-LINPOL-018 Nombre de Postes : 1 Lieu de travail : PARIS 14 Date de publication : mardi 12 novembre 2024 Type de contrat : CDD Doctorant Durée du contrat : 36 mois Date de début de la thèse : 1 janvier 2025 Quotité de travail : Complet...

  • Doctorant sur le parcours de soins

    il y a 4 semaines

    Paris, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Doctorant sur le parcours de soins (H/F) Référence : UMR8545-LINPOL-018 Nombre de Postes : 1 Lieu de travail : PARIS 14 Date de publication : mardi 12 novembre 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 janvier 2025 Quotité de...

  • (H/F) Post-doctorant

    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 : mardi 19 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Post-doctorant (BB) BIologie cellulaire et moléculaire** Référence : UMR8197-VALHER-144 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de...

  • Post-doctorant (H/F)

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