Post-doc Pour Rejoindre Le Projet Anr Reciprog

il y a 2 semaines


Lyon e Arrondissement, 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 07
Date de publication : mercredi 5 juin 2024
Type de contrat : CDD Scientifique
Durée du contrat : 12 mois
Date d'embauche prévue : 1 septembre 2024
Quotité de travail : Temps complet
Rémunération : A partir de 2934 euros brut mensuel selon le niveau d'expérience
Niveau d'études souhaité : Niveau 8 - (Doctorat)
Expérience souhaitée : Indifférent
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

**Missions**:
**Activités**:
Recherche fondamental en logique, sémantique et programmation. Formalisation en Coq. Recherches bibliographiques, rédaction d'articles, présentation de travaux en séminaire et conférences.

**Compétences**:
En outre, une expérience avec l'un des sujets suivants sera particulièrement appréciée: points fixes et preuves circulaires, Coq, types inductifs et coinductifs, récursion gardée, colagèbres, logique catégorique, réécriture infinitive et lambda-calculs infinitaires.

**Contexte de travail**:
Intégration au LIP, Lyon 7e, dans l'équipe Plume

**Contraintes et risques**:
Contrat à temps plein, 35h.
Le laboratoire LIP n'est pas un laboratoire expérimental et ne comporte pas de contraintes et risques particuliers.

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


  • Lyon, France CNRS Temps plein

    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 07 Date de publication : mercredi 5 juin 2024 Type de contrat : CDD Scientifique Durée du contrat : 12 mois Date d'embauche...

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


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


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

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

  • Doc Controller

    il y a 2 semaines


    Lyon 1er Arrondissement, France INATIS Temps plein

    Descriptif du posteINATIS recrute un Doc controller H/FMissions:- 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 documents- Support...

  • Lead Doc Control

    il y a 2 semaines


    Lyon 1er Arrondissement, France INATIS Temps plein

    **Description 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.- Gestion...

  • Chercheur Post-doc

    il y a 2 semaines


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

    Cette offre est disponible dans les langues suivantes:Date Limite Candidature : lundi 21 août 2023**Informations générales**:**Intitulé de l'offre **:Chercheur Post-doc H/F "Analyses post-mortem de batteries lithium-ion - charge rapide"**Référence : UMR5279-PIETHI-001Nombre de Postes : 1Lieu de travail : ST MARTIN D HERESDate de publication : lundi 31...

  • Doc Controller

    il y a 2 semaines


    Lyon 2e Arrondissement, France Sthree France Temps plein

    Descriptif du posteMission:- Former à distance des personnes (fournisseurs, intervenants usine) à l'utilisation GED du client- Organiser, en concertation avec le lead doc control, la méthodologie de publication/commentaires/échange des livrables,- Collecte de livrables fournisseurs et publication dans Bricsys,- Diffusion des livrables aux parties...

  • Doc Controller

    il y a 2 semaines


    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 2 semaines


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

  • Lead Doc Control

    il y a 4 semaines


    Lyon 1er, France INATIS Temps plein

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

  • Lead Doc Control

    il y a 4 semaines


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


  • Lyon 7e Arrondissement, France EURO CONTROLE PROJET Temps plein

    Descriptif du posteNous recherchons actuellement un Coordinateur Etudes Projets H/F pour l'un de nos clients dans le ferroviaire.Vos missions au quotidien seront les suivantes:- Pilotage des études confiées par les clients : le CEP est le trait d'union entre la maîtrise d'oeuvre générale (MOEG) des projets et la production métiers, les agents...

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


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

  • Assistant Doc Control

    il y a 3 semaines


    Lyon, France IOTA INDUSTRIE Temps plein

    Nous recherchons pour l'un de nos clients basé dans le secteur de lYon un Assistant Doc Control pour une mission jusqu'à fin d'année avec possibilité de renouvellement. Missions - Réalisez les activités de gestion documentaire dans l'outil LASCOM de Gestion Electronique de Documentation (GED) : classement des documents d'ingénierie et des documents...

  • doc Controller

    il y a 2 semaines


    Lyon 7e Arrondissement, France Ortec Group Temps plein

    **Brand description**:Présent dans 25 pays, le Groupe Ortec déploie des solutions en ingénierie et travaux dans de nombreux secteurs d'activités : énergies, mines, pharmacie, chimie, défense, ferroviaire, agroalimentaire, automobile, aéronautique, spatial, collectivitésSes collaborateurs, en France et à l'international, assurent la conception, la...