Emplois actuels liés à POST DOCTORANT H/F – 18 mois de Post Doc dans le cadre du Projet ANR “CoREACT” - Lyon - CNRS

  • Post-doctorant ou Post-doctorante Chiffrement de

    Il y a 3 mois

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

    Mines Saint-Etienne est une Ecole de l’Institut Mines-Télécom (IMT), 1er groupe public d’écoles d’ingénieurs et de management de France. L’IMT est un EPSCP (grand établissement) sous la tutelle du Ministère de l’Économie, des Finances et de la Souveraineté Industrielle et Numérique. L’École Nationale Supérieure des Mines de...

  • Post-doctorat (H/F)

    il y a 2 semaines

    Lyon 8e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 9 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorat (H/F) - Bioinformatique du tissu musculaire** Référence : UMR5261-FABLEG-013 Nombre de Postes : 1 Lieu de travail : LYON 08 Date de...

  • Post-doctorat en bioinformatique du tissu musculaire

    il y a 2 semaines

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

    Informations généralesTitre de l'offre : Post-doctorat en bioinformatique du tissu musculaireRéférence : UMR5261-FABLEG-013Nombre de postes : 1Lieu de travail : LyonType de contrat : CDD ScientifiqueDurée du contrat : 12 moisQuotité de travail : Temps completRémunération : à partir de 3021 € bruts mensuels selon expérienceNiveau d'études...

  • Post-doc en biologie structurale

    il y a 1 semaine

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

    Informations généralesTitre de l'offre : Post-doc en biologie structurale / RMN (H/F)Référence : UMR5086-ANJBOC-011Nombre de postes : 1Lieu de travail : LYON 07Type de contrat : CDD ScientifiqueDurée du contrat : 12 moisDate d'embauche prévue : Quotité de travail : Temps completRémunération : à partir de 3021 euros bruts mensuelsNiveau d'études...

  • Chercheur/chercheuse (Post-doctorant-e) en

    Il y a 3 mois

    Lyon, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Localisation: IF Institut Fourier 100 Rue des mathematiques 38610 Gières Présentation de la structure Vous travaillerez à l'Institut Fourier UMR 5582, un laboratoire du CNRS et de l'UGA à Grenoble, dans le cadre du projet ANR “HilbertXField :...

  • Post-doctorante ou Post-doctorant en Sciences de

    Il y a 4 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-doctorant-e en Informatique

    Il y a 3 mois

    Lyon, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Durée du contrat: 18 mois - Localisation: LIG - Bâtiment IMAG Avenue Centrale 700 38400 Saint-Martin-d'Hères Présentation de la structure Le poste est à pourvoir au sein du Laboratoire LIG dans l’équipe de recherche Ingénierie de l’Interaction...

  • Post-doctorat (H/F) - Bioinformatique du tissu musculaire

    il y a 3 jours

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

    Informations généralesTitre de l'offre : Postdoctoral Researcher in Bioinformatics of Muscle TissueRéférence : UMR5261-FABLEG-013Nombre de postes : 1Lieu de travail : LYON 08Type de contrat : CDD ScientifiqueDurée du contrat : 12 moisDate d'embauche prévue : Quotité de travail : Temps completRémunération : à partir de 3021 € bruts mensuels selon...

  • Post-doctorat (H/F) - Bioinformatique du tissu musculaire

    il y a 2 jours

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

    Informations généralesTitre de l'offre : Postdoctoral Researcher in Muscle Tissue BioinformaticsRéférence : UMR5261-FABLEG-013Nombre de postes : 1Lieu de travail : LYON 08Type de contrat : CDD ScientifiqueDurée du contrat : 12 moisDate d'embauche prévue : Quotité de travail : Temps completRémunération : à partir de 3021 € bruts mensuels selon...

  • Doc controller H/F

    Il y a 3 mois

    Lyon, France Inatis Temps plein

    Doc controller H/F CDI | Lyon - 1er arrondissement | 09/07/ | 24- |Salaire: de € jusque € par an Postuler A propos du poste INATIS recrute un Doc controller H/F Missions :- Quality-check de documents de Projets, docs d'ingénierie, docs fournisseurs, docs des entreprises de travaux, etc.- Diffusion de documents de projets, docs...

  • Post-doctorat en bioinformatique du tissu musculaire

    il y a 2 semaines

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

    Informations généralesTitre de l'offre : Post-doctorat en bioinformatique du tissu musculaireRéférence : UMR5261-FABLEG-013Nombre de postes : 1Lieu de travail : LYON 08Type de contrat : CDD ScientifiqueDurée du contrat : 12 moisQuotité de travail : Temps completRémunération : à partir de 3021 € bruts mensuels selon expérienceNiveau d'études...

  • Doc Controller

    Il y a 3 mois

    Lyon 1er, France INATIS Temps plein

    **Description du poste**: INATIS recrute un Doc controller H/F Missions: - Quality-check de documents de Projets, docs d'ingénierie, docs fournisseurs, docs des entreprises de travaux, etc. - Diffusion de documents de projets, docs d'ingénierie, docs fournisseurs, docs des entreprises de travaux, etc. - Gestion et diffusion des commentaires sur les...

  • Doc Controller

    Il y a 3 mois

    Lyon 1er, France INATIS Temps plein

    Descriptif du poste INATIS recrute un Doc controller H/F Missions: - Quality-check de documents de Projets, docs d'ingénierie, docs fournisseurs, docs des entreprises de travaux, etc. - Diffusion de documents de projets, docs d'ingénierie, docs fournisseurs, docs des entreprises de travaux, etc. - Gestion et diffusion des commentaires sur les...

  • Doc Controller H/F

    il y a 6 jours

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

    Poste de Doc Controller H/FINATIS recrute un Doc Controller H/F pour renforcer son équipe de spécialistes de la gestion des documents. Le candidat idéal possèdera une expérience de minimum 5 ans dans un poste similaire dans le secteur du pétrole et du gaz.MissionsQuality-check de documents de Projets, docs d'ingénierie, docs fournisseurs, docs des...

  • Post-doctorat (H/F) en Neurosciences – Olfaction & IRMf

    Il y a 2 mois

    Lyon, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Post-doctorat (H/F) en Neurosciences – Olfaction & IRMf Référence : UMR5292-CAMFER-005 Nombre de Postes : 1 Lieu de travail : LYON 08 Date de publication : jeudi 18 juillet 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche prévue : 1 septembre 2024 Quotité de...

  • Poste de Chercheur Postdoctoral en Neurosciences

    il y a 1 mois

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

    Informations Générales Intitulé de l'offre : Poste de Chercheur Postdoctoral en Neurosciences - Étude de l'Olfaction Référence : UMR5292-CAMFER-005 Nombre de Postes : 1 Lieu de travail : Lyon Type de contrat : CDD Scientifique Durée du contrat : 12 mois Quotité de travail : Temps complet Rémunération : à partir de 3021 euros bruts mensuels...

  • Post-doctorant-e en Informatique

    Il y a 3 mois

    Lyon, France Université Grenoble Alpes Temps plein

    Type de recrutement: Poste ouvert en CDD - Quotité de travail: 100% - Niveau d'emploi: A - Chercheur - Localisation: LIG - Bâtiment IMAG Avenue Centrale 700 38400 Saint-Martin-d'Hères Présentation de la structure Le poste est à pourvoir au sein du Laboratoire LIG dans l’équipe de recherche Ingénierie de l’Interaction Humain-Machine (IIHM,...

  • Post-doc en biologie structurale

    il y a 2 semaines

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

    Informations Générales Titre de l'Offre : Post-doc en biologie structurale / RMN (H/F) Contexte de Travail Le poste est situé au sein de l'institut de Microbiologie Moléculaire et Biochimie Structurale du Campus Biosciences de Lyon Gerland, à côté du Centre de Recherche en Infectiologie et du laboratoire Jean Mérieux. MMSB est une Unité Mixte...

  • Chercheur/chercheuse (Post Doctoral) en Philosophie

    Il y a 3 mois

    Lyon, France Université Grenoble Alpes Temps plein

    Descriptif du poste Vos missions seront directement liées à l'activité des responsables scientifiques du projet. Dans ce cadre vous serez amener à contribuer à l'avancement des connaissances scientifiques dans le domaine de la référence mnésique. **Activités** - Publier d'articles dans des revues internationales à comité de lecture, notamment en...

  • Lead Doc Control

    Il y a 4 mois

    Lyon 1er, France INATIS Temps plein

    Descriptif du poste - INATIS recrute un "Lead doc control H/F". Vous travaillerez au sein d'une équipe pluridisciplinaire sur des projets dans des phases différentes telles que avant-projet, études, réalisations etc... Missions: - Quality-check de documents de Projets, docs d'ingénierie, docs fournisseurs, docs des entreprises de travaux, etc. -...

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

Il y a 4 mois

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.