Emplois actuels liés à Offre de Post-doc pour rejoindre le projet ANR RECIPROG - Paris - CNRS

  • Post-doc - Anr Mobitic - Analyse Des Traces de

    Il y a 3 mois

    Paris, France Orange Temps plein

    **votre rôle**: Votre rôle est d’effectuer un travail de Post doc sur : « L’analyse des traces automatiques de mobilité personnelle » dans le cadre du projet de recherche collaboratif ANR MobiTIC. Contexte global et problématique du sujet: Le projet MobiTIC qui réunit l’INSEE, l’Université Gustave Eiffel et Orange, ambitionne de produire des...

  • Chargé.e de Projets Scientifiques

    Il y a 3 mois

    Paris, France ANR Temps plein

    L'Agence nationale de la recherche (ANR) est un établissement public à caractère administratif, placé sous la tutelle du ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation. L'Agence met en oeuvre le financement de la recherche sur projets, pour les opérateurs publics en coopération entre eux ou avec des entreprises. L’ANR a...

  • Chef de projet énergie et environnement

    il y a 2 semaines

    Paris, Île-de-France ANR Temps plein

    **Mission**Nommé.e par le PDG de l'ANR pour un mandat de 3 ans (renouvelable), vous serez rattaché.e au département Sciences Physiques, Ingénierie, Chimie et Energie et aurez la responsabilité de la mise en œuvre ou/et du suivi d'un certain nombre des activités menées par l'ANR dans ce domaine.**Compétences requises**Travailler avec les chargé.es...

  • Chargé ou Chargée de Projets Scientifiques

    Il y a 4 mois

    Paris, France ANR Temps plein

    Nous sommes à la recherche d’un chargé ou une chargée de projets scientifiques pour rejoindre notre Département scientifique : « Numérique et mathématiques » (NuMa). Ce poste comprend une mission au niveau national: 1. Mise en œuvre de la sélection, de l’évaluation et du suivi des projets déposés dans les axes de l’appel à projets...

  • Responsable de projets scientifiques

    il y a 2 semaines

    Paris, Île-de-France ANR Temps plein

    **Mission du poste**L'ANR recherche un chargé ou une chargée de projets scientifiques pour un contrat de trois ans. Ce poste est responsable de la mise en œuvre de la sélection, de l'évaluation et du suivi des projets déposés dans le domaine des capteurs, imageurs et instrumentations.**Compétences requises**Assurer le secrétariat...

  • Chargé ou Chargée de Projets Scientifiques

    Il y a 3 mois

    Paris, France ANR Temps plein

    Le département scientifique Sciences Physiques, Ingénierie, Chimie et Énergie recherche actuellement un Chargé ou une Chargée de projets scientifiques (CPS) pour rejoindre son équipe. En tant que CPS, vous serez mobilisé ou mobilisée principalement dans le secteur de compétence scientifique du département, afin d'assurer la mise en œuvre...

  • Assistant.e Confirmé.e

    Il y a 3 mois

    Paris 11e, France Association Nationale de Révision (ANR) Temps plein

    Descriptif du poste Responsabilités: - Assister la direction générale ANR/HCCA et/ou l ensemble de l équipe dans la réalisation des missions et de la bonne organisation du service- - Assister les Présidents et les élus de nos instances de gouvernance- Assurer le secrétariat de nos deux structures dont notamment: - Préparer les réunions,...

  • Chargé ou chargée de projets scientifiques H/F

    Il y a 2 mois

    Paris, France ANR Temps plein

    L'ANR et plus précisément le département scientifique « Sciences Physiques, Ingénierie, Chimie et Energie » est à la recherche d'un ou d'une chargé.e de projets scientifiques dans le cadre d'un CDD de trois ans. Votre mission principale sera d'assurer la mise en oeuvre d'activités de soutien à la recherche. Celles-ci correspondent...

  • Spécialiste en gestion de projets scientifiques

    il y a 2 semaines

    Paris, Île-de-France ANR Temps plein

    **Mission du poste**L'ANR recherche un chargé ou une chargée de projets scientifiques pour un contrat de trois ans. Ce poste est responsable de la mise en œuvre de la sélection, de l'évaluation et du suivi des projets déposés dans le domaine des capteurs, imageurs et instrumentations.**Compétences requises**Assurer le secrétariat...

  • Chef de projet énergie et environnement

    il y a 2 semaines

    Paris, Île-de-France ANR Temps plein

    **Mission**Nommé.e par le PDG de l'ANR pour un mandat de 3 ans (renouvelable), vous serez rattaché.e au département Sciences Physiques, Ingénierie, Chimie et Energie et aurez la responsabilité de la mise en œuvre ou/et du suivi d'un certain nombre des activités menées par l'ANR dans ce domaine.**Compétences requises**Travailler avec les chargé.es...

  • Chargé ou chargée de projets scientifiques H/F

    il y a 4 semaines

    Paris, France ANR Temps plein

    L'ANR et plus précisément le département scientifique « Sciences Physiques, Ingénierie, Chimie et Energie » est à la recherche d'un ou d'une chargé.e de projets scientifiques dans le cadre d'un CDD de trois ans. Ce poste comprend deux missions, une niveau national et une à l'international : - La mise en œuvre de la sélection, de l'évaluation...

  • Chargé ou Chargée de Projets Scientifiques Internationaux

    il y a 3 semaines

    Paris, Île-de-France ANR Temps plein

    **L'ANR recherche un(e) chargé(e) de projets scientifiques international**Le département scientifique « Biologie Santé » de l'ANR est à la recherche d'un(e) chargé(e) de projets scientifiques international pour un contrat à durée déterminée de trois ans.**Missions et responsabilités**Assurer la gestion de l'évaluation et la...

  • Chargé ou Chargée de Projets

    Il y a 3 mois

    Paris, France ANR Temps plein

    L’ANR est à la recherche d'un Chargé de projets ou une Chargée de projets pour rejoindre la Direction des Opérations Scientifiques dans le cadre d’un CDD de deux ans. L’Etat a décidé la mise en place des Pôles Universitaires d’Innovation (PUI) afin d’accélérer les dynamiques territoriales d’innovation. L’ensemble des PUI doivent des...

  • Chargé ou Chargée de Projets Scientifiques

    il y a 3 semaines

    Paris, France ANR Temps plein

    L'ANR et plus précisément le département scientifique « Biologie Santé » est à la recherche d'un ou d'une chargé.e de projets scientifiques international dans le cadre d'un CDD de trois ans. Mais à quoi correspond ce poste ? En tant que CPS international (chargé.e de projets scientifiques) vous aurez pour principale mission d'assurer la gestion...

  • Chargée ou Chargé de Projets Scientifiques

    Il y a 3 mois

    Paris, France ANR Temps plein

    Nous sommes à la recherche d'une Chargée ou d’un Chargé de projets scientifiques (CPS) pour rejoindre notre équipe au sein du Département scientifique « Sciences Physiques, Ingénierie, Chimie et Energie ». Le contrat proposé pour ce poste est un contrat à durée déterminée d'une durée de deux ans. La Chargée ou le Chargé de projets...

  • Chargé ou Chargée de Projets Scientifiques

    Il y a 4 mois

    Paris, France ANR Temps plein

    L'Agence nationale de la recherche (ANR) est un établissement public à caractère administratif, placé sous la tutelle du ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation. L'Agence met en oeuvre le financement de la recherche sur projets, pour les opérateurs publics en coopération entre eux ou avec des entreprises. L’ANR a...

  • Responsable scientifique Ville durable

    il y a 24 heures

    Paris, Île-de-France ANR Temps plein

    Présentation du posteNous recherchons un Responsable scientifique pour rejoindre notre équipe à l'Agence Nationale de la Recherche (ANR). Vous serez chargé.e de la mise en œuvre et du suivi d'activités liées à la ville durable, en coordination avec les chargé.es de projets scientifiques.Compétences requisesExpérience dans le domaine de la ville...

  • Chargé ou Chargée de projets scientifiques international

    il y a 3 semaines

    Paris, France ANR Temps plein

    L'ANR et plus précisément le département scientifique « Biologie Santé » est à la recherche d'un ou d'une chargé.e de projets scientifiques international dans le cadre d'un CDD de trois ans. Mais à quoi correspond ce poste ? En tant que CPS international (chargé.e de projets scientifiques) vous aurez pour principale mission d'assurer la gestion...

  • Chargé ou Chargée de Projets Scientifiques Internationaux

    il y a 3 semaines

    Paris, Île-de-France ANR Temps plein

    **L'ANR recherche un(e) chargé(e) de projets scientifiques international dans le cadre d'un CDD de trois ans.****Mission principale :**Gestion de l'évaluation et de la sélection de projets dans le cadre des collaborations transnationales en Médecine Personnalisée.Participation aux activités de suivi et de bilan de projets financés dans le...

  • Chargé de projets scientifiques international H/F

    il y a 2 jours

    Paris, Île-de-France ANR Temps plein

    Poste de Chargé de projets scientifiques international H/FL'ANR recherche un chargé de projets scientifiques international pour son département Environnements, Ecosystèmes, Ressources Biologiques. Ce poste est un CDD de 18 mois, à pourvoir dès que possible.MissionsCoordonner la rédaction d'un agenda stratégique de recherche et...

Offre de Post-doc pour rejoindre le projet ANR RECIPROG

Il y a 4 mois

Paris, France CNRS Temps plein

Informations générales

Intitulé de l'offre : Offre de Post-doc pour rejoindre le projet ANR RECIPROG (Reasoning on Circular proofs for Programming) H/F
Référence : UMR8243-OMUAVC-006
Nombre de Postes : 1
Lieu de travail : PARIS 13
Date de publication : lundi 27 mai 2024
Type de contrat : CDD Scientifique
Durée du contrat : 12 mois
Date d'embauche prévue : 1 août 2024
Quotité de travail : Temps complet
Rémunération : Environ 3080 € brut par mois si moins de 2 années d'expérience de post-doctorat
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

Développer une recherche originale à l'IRIF dans le projet RECIPROG, coordonné par Alexis Saurin. Le ou la candidate recrutée devra contribuer à la théorie de la démonstration ou la sémantique dénotationnelle des logiques à points fixes et/ou de la correspondance preuves-programmes entre programmation récursive et preuves circulaires pour les logiques et les systèmes de type avec induction et coinduction et/ou contribuer au développement logiciel nécessaire à l'amélioration de l'utilisabilité des types et du raisonnement coinduction dans l'assistant de preuves Coq.

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

Nous cherchons des candidates ou candidats titulaire d'un doctorat en informatique ou mathématiques avec une expertise dans l'un des domaines suivants: théorie de la démonstration, correspondance de Curry-Howard, logiques à points fixes, raisonnement coinductif, assistants de preuves (formalisation et/ou développement), théorie des types, théorie des catégories, déduction automatique, théorie des automates.

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 à l'IRIF laboratoire, Paris 13ème, dans les équipes thématiques du pôle PPS.

Contraintes et risques

Contrat à temps plein, 35h.

Informations complémentaires

Date d'embauche : entre le 1er août et le 31 décembre 2024.