POST DOCTORANT H/F – 18 mois de Post Doc dans le cadre du Projet ANR “CoREACT”

il y a 4 semaines

Lyon, France CNRS Temps plein

Informations générales

Intitulé de l'offre : POST DOCTORANT H/F – 18 mois de Post Doc dans le cadre du Projet ANR “CoREACT”
Référence : UMR5668-MARNAR-012
Nombre de Postes : 1
Lieu de travail : LYON 07
Date de publication : jeudi 23 mai 2024
Type de contrat : CDD Scientifique
Durée du contrat : 18 mois
Date d'embauche prévue : 1 septembre 2024
Quotité de travail : Temps complet
Rémunération : A partir de 2934 € bruts mensuels selon expérience
Niveau d'études souhaité : Niveau 8 - (Doctorat)
Expérience souhaitée : 1 à 4 années
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

Missions

Le candidat ou la candidate retenu·e sera engagé·e pour un post-doctorat de 18 mois afin de mener des recherches originales dans le cadre du projet CoREACT (COq-based Rewriting: towards Executable Applied Category Theory). La recherche sera effectuée au LIP (ENS - Lyon, France) au sein de l'équipe "PLUME" sous la supervision de Russ Harmer et Damien Pous (CNRS).

Activités

L'objectif est de travailler sur la formalisation en Coq, et notamment avec Hierarchy Builder, du raisonnement diagrammatique. Le projet CoREACT vise à formaliser la partie de la théorie des catégories utilisée dans la transformation des graphes. Selon le candidat, les travaux pourront porter plus sur la formalisation des catégories, ou plus sur son application en transformation de graphes.

Compétences

Les candidats doivent avoir terminé (ou être sur le point de terminer) un doctorat en informatique théorique. Idéalement, le candidat aura déjà une bonne connaissance de plusieurs des sujets suivants: théorie de catégories, formalisation en Coq, transformation de graphes.

Contexte de travail

La recherche s'effectuera au laboratoire LIP (ENS - Lyon, France) au sein de l'équipe "PLUME" sous la supervision de Russ Harmer et Damien Pous (CNRS), dans le cadre du projet ANR ‘CoREACT’. Ce projet s’attaque à la formalisation en Coq du raisonnement diagrammatique, de la théorie des catégories, avec comme cas d’utilisation la transformation de graphes.

Contraintes et risques

Le laboratoire LIP n'est pas un laboratoire expérimental et ne comporte pas de contraintes et risques particuliers.

  • POST DOCTORANT H/F – 18 mois de Post Doc dans le cadre du Projet ANR "CoREACT"

    il y a 2 semaines

    Lyon, Auvergne-Rhône-Alpes, France CNRS Temps plein

    Informations générales Intitulé de l'offre : POST DOCTORANT H/F – 18 mois de Post Doc dans le cadre du Projet ANR "CoREACT" Référence : UMR5668-MARNAR-012 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : jeudi 23 mai 2024 Type de contrat : CDD Scientifique Durée du contrat : 18 mois Date d'embauche prévue : 1 septembre 2024...

  • Post Doctorant

    il y a 2 semaines

    Lyon 7e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 13 juin 2024 **Informations générales**: **Intitulé de l'offre **:POST DOCTORANT H/F - 18 mois de Post Doc dans le cadre du Projet ANR “CoREACT”** Référence : UMR5668-MARNAR-012 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de...

  • Post Doctorant

    il y a 2 semaines

    Lyon 7e Arrondissement, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : jeudi 13 juin 2024**Informations générales**:**Intitulé de l'offre **:POST DOCTORANT H/F - 18 mois de Post Doc dans le cadre du Projet ANR "CoREACT"**Référence : UMR5668-MARNAR-012Nombre de Postes : 1Lieu de travail : LYON 07Date de publication : jeudi 23...

  • Post-doc Pour Rejoindre Le Projet Anr Reciprog

    il y a 4 semaines

    Lyon 7e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 26 juin 2024 **Informations générales**: **Intitulé de l'offre **:Post-doc pour rejoindre le projet ANR RECIPROG (Reasoning on Circular proofs for Programming) H/F** Référence : UMR5668-DENKUP-001 Nombre de Postes : 1 Lieu de travail : LYON...

  • Post-doc Pour Rejoindre Le Projet Anr Reciprog

    il y a 2 semaines

    Lyon 7e Arrondissement, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : mercredi 26 juin 2024**Informations générales**:**Intitulé de l'offre **:Post-doc pour rejoindre le projet ANR RECIPROG (Reasoning on Circular proofs for Programming) H/F**Référence : UMR5668-DENKUP-001Nombre de Postes : 1Lieu de travail : LYON 07Date de...

  • Post-doctorant (H/F)

    il y a 1 semaine

    Lyon, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 26 février 2024 **Informations générales**: **Intitulé de l'offre **:Post-doctorant (H/F) en synthèse organique** Référence : UMR5250-DAVGOY-001 Nombre de Postes : 1 Lieu de travail : ST MARTIN D HERES Date de publication : lundi 5 février...

  • Chercheur Post-doctorant en Modélisation

    il y a 2 semaines

    Lyon 7e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 22 février 2024 **Informations générales**: **Intitulé de l'offre **:Chercheur post-doctorant en modélisation moléculaire (H/F)** Référence : UMR5239-ISASER-031 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : jeudi 1...

  • Post-doc en Electrocatalyse Computationnelle

    il y a 4 semaines

    Lyon 7e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 20 septembre 2023 **Informations générales**: **Intitulé de l'offre **:Post-Doc en electrocatalyse computationnelle (F/H) (H/F)** Référence : UMR5182-STESTE-001 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : mercredi...

  • 4 Mois Post-doc en Sismologie

    il y a 2 semaines

    Lyon, Auvergne-Rhône-Alpes, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : vendredi 15 décembre 2023**Informations générales**:**Intitulé de l'offre **:4 mois Post-doc en sismologie H/F**Référence : UMR5275-MARRAM-013Nombre de Postes : 1Lieu de travail : ST MARTIN D HERESDate de publication : vendredi 24 novembre 2023Type de...

  • Post-doctorante ou Post-doctorant en Informatique

    il y a 4 semaines

    Lyon, France Ecole des Mines de Saint-Étienne Temps plein

    **MINES SAINT-ETIENNE** **LABORATOIRE D'INFORMATIQUE, DE MODELISATION ET D'OPTIMISATION DES SYSTEMES (CNRS UMR 6158)** **INSTITUT HENRI FAYOL** **POST-DOCTORANT OU POST-DOCTORANTE EN INFORMATIQUE** **CONCEPTION DE MODELES DE DONNEES SEMANTIQUES POUR LA GOUVERNANCE TERRITORIALE** **CDD 18 MOIS POTENTIELLEMENT RENOUVELABLE **ENVIRONNEMENT DU...

  • 4 Mois Post-doc en Sismologie

    il y a 4 semaines

    Lyon, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 15 décembre 2023 **Informations générales**: **Intitulé de l'offre **:4 mois Post-doc en sismologie H/F** Référence : UMR5275-MARRAM-013 Nombre de Postes : 1 Lieu de travail : ST MARTIN D HERES Date de publication : vendredi 24 novembre...

  • Post-doctorante ou Post-doctorant en Physico-chimie

    Il y a 2 mois

    Lyon, France Institut Mines-Télécom Temps plein

    **ENVIRONNEMENT DU POSTE**: L’Institut Mines-Télécom est le 1er groupe public de Grandes Écoles d’ingénieur.e.s et de management de France. Constitué de huit Grandes Écoles publiques et de deux écoles filiales, l’Institut Mines-Télécom anime et développe un riche écosystème d’écoles partenaires, de partenaires économiques, académiques...

  • Post-doctorante ou Post-doctorant en Physico-chimie

    il y a 1 jour

    Lyon, France Institut Mines-Télécom Temps plein

    **ENVIRONNEMENT DU POSTE**: L’Institut Mines-Télécom est le 1er groupe public de Grandes Écoles d’ingénieur.e.s et de management de France. Constitué de huit Grandes Écoles publiques et de deux écoles filiales, l’Institut Mines-Télécom anime et développe un riche écosystème d’écoles partenaires, de partenaires économiques, académiques...

  • Post-doctorante / Post-doctorant en Interaction

    il y a 1 semaine

    Lyon, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 18 juin 2024 **Informations générales**: **Intitulé de l'offre **:Post-doctorante / post-doctorant en Interaction Humain-Machine (H/F)** Référence : UMR5217-CELCOU-003 Nombre de Postes : 1 Lieu de travail : ST MARTIN D HERES Date de...

  • Post Doc

    il y a 2 semaines

    Lyon, Auvergne-Rhône-Alpes, France CNRS Temps plein

    Date Limite Candidature : mardi 7 mars 2023**Informations générales**:Référence : UMR5516-JULDEB-011Nombre de Postes : 1Lieu de travail : ST ETIENNEDate de publication : mardi 14 février 2023Type de contrat : CDD ScientifiqueDurée du contrat : 12 moisDate d'embauche prévue : 1 avril 2023Quotité de travail : Temps completRémunération : entre entre...

  • Post-doctorante ou Post-doctorant en Physico-chimie

    il y a 2 semaines

    Lyon, Auvergne-Rhône-Alpes, France Institut Mines-Télécom Temps plein

    **ENVIRONNEMENT DU POSTE**:L'Institut Mines-Télécom est le 1er groupe public de Grandes Écoles d'ingénieur.e.s et de management de France. Constitué de huit Grandes Écoles publiques et de deux écoles filiales, l'Institut Mines-Télécom anime et développe un riche écosystème d'écoles partenaires, de partenaires économiques, académiques et...

  • Chercheur Post-doctorant

    Il y a 2 mois

    Lyon 7e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 11 décembre 2023 **Informations générales**: **Intitulé de l'offre **:Chercheur post-doctorant (H/F) en bio informatique** Référence : UMR5239-ISASER-027 Nombre de Postes : 1 Lieu de travail : LYON 07 Date de publication : lundi 20 novembre...

  • Post Doc en Paléosismologie

    il y a 4 semaines

    Lyon, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 30 juin 2023 **Informations générales**: **Intitulé de l'offre **:Post doc en paléosismologie (H/F)** Référence : UMR5275-FABCAR-078 Nombre de Postes : 1 Lieu de travail : ST MARTIN D HERES Date de publication : vendredi 9 juin 2023 Type...

  • Post Doc

    il y a 4 semaines

    Lyon, France CNRS Temps plein

    Date Limite Candidature : mardi 7 mars 2023 **Informations générales**: Référence : UMR5516-JULDEB-011 Nombre de Postes : 1 Lieu de travail : ST ETIENNE Date de publication : mardi 14 février 2023 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche prévue : 1 avril 2023 Quotité de travail : Temps complet Rémunération :...

  • Chercheur(E) Post-doctorant(E)

    il y a 2 semaines

    Lyon 7e Arrondissement, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes:- Français- AnglaisDate Limite Candidature : vendredi 16 juin 2023**Informations générales**:**Intitulé de l'offre **:Chercheur(e) post-doctorant(e) (H/F) en biochimie/biologie structurale**Référence : UMR5305-CATMOA-008Nombre de Postes : 1Lieu de travail : LYON 07Date de publication : vendredi 26...