Post-doctorant ou Post-doctorante en Preuve

Il y a 6 mois


Paris, France Télécom SudParis Temps plein

Vous serez amené à réaliser les tâches suivantes:

- collaboration avec Clearsy pour une instrumentation de l'outil Atelier B de le but de récupérer une trace de preuve
- reconstruction de la trace de preuve en Dedukti
- importation d'une preuve Dedukti, quand celle-ci utilise l'encodage de B en Dedukti, dans l'atelier B

Vous serez amené à collaborer avec l'ensemble des acteurs du projet ICSPA.

**Formation**
- Doctorat ou PhD depuis moins de 3 ans

**Compétences, connaissances et expériences indispensables**
- Compétences en logique pour l'informatique
- Expérience en preuve formelle mécanisée
- Bon niveau en programmation (si possible, en OCaml)

**Compétences, connaissances et expériences souhaitables**
- Connaissance d'un assistant à la preuve
- Connaissance de la méthode B
- Connaissance des outils de démonstration automatique

**Capacités et aptitudes**
- Forte motivation pour la recherche
- Capacité de travailler en équipe
- Esprit d'initiative, de créativité et bonne autonomie de travail
- Nature du contrat : CDD de 12 mois
- Localisation du poste: Evry-Courcouronnes (91) et Palaiseau (91)
- Conditions de travail : télétravail possible, restaurant et cafétéria sur site, accessibilité en transport en commun (avec participation de l'employeur) ou proche des axes routiers, association du personnel et association sportive sur le campus

Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les projets d’équipes, l’innovation de rupture et l’entreprenariat. Télécom SudParis compte 1 000 étudiants dont 700 élèves ingénieurs et environ de 150 doctorants. Télécom SudParis fait partie de l’Institut Mines-Télécom, premier groupe d’école d’ingénieurs en France, et partage son campus avec Institut Mines-Télécom Business School. Télécom SudParis est co
- fondatrice de l'Institut Polytechnique de Paris (IP Paris), Institut de Sciences et Technologies à vocation mondiale avec l’Ecole polytechnique, l’ENSTA Paris, l’ENSAE ParisTech et Télécom Paris.



  • Paris, France Télécom SudParis Temps plein

    Identification des limitations des systèmes traditionnels de la chaîne alimentaire - Analyse approfondie des utilisations actuelles de la blockchain dans les chaînes de production et d'approvisionnement - Conception et déploiement de l’architecture retenue - Développement d'APIs pour interagir avec la blockchain - Développement de mécanismes...


  • Paris 5e, France Ecole Normale Supérieure Temps plein

    **ENVIRONNEMENT DE TRAVAIL **(structure d’accueil du poste) Le post-doctorant sera accueilli au laboratoire de Géologie de l’ENS. Le travail sera réalisé dans le cadre du projet DYHAM, financé par l’appel d’offre externe ANR. **MISSION PRINCIPALE** Le post-doctorant a) analysera des données géophysiques et géologiques issues de la campagne...


  • Paris, France Institut Mines-Télécom Temps plein

    **Présentation de Télécom SudParis**: Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les projets d’équipes, l’innovation de...

  • 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

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


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


    Paris 6e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 1 janvier 2025 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre**:Post doctorant (H/F) en nanomédecine** Référence : UMR7057-FLOGAZ-008 Nombre de Postes : 1 Lieu de travail : PARIS 06 Date de publication : mercredi...


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


  • Paris, France Inria Temps plein

    **Type de contrat **:CDD **Contrat renouvelable **:Oui **Niveau de diplôme exigé **:Thèse ou équivalent **Fonction **:Post-Doctorant **Contexte et atouts du poste**: Travail de recherche au sein de l'équipe de cryptographie CASCADE Collaborations possibles avec d'autres équipes de recherche, en particulier l'équipe INSPIRE de l'ENS Paris Saclay,...


  • Paris, France INRIA Temps plein

    Post-Doctorant F/H Preuves de sécurité en cryptographie quantique, et codes correcteurs pour les communications quantiques Type de contrat : CDD Niveau de diplôme exigé : Thèse ou équivalent Fonction : Post-Doctorant Niveau d'expérience souhaité : De 3 à 5 ans Mission confiée La mission de ce postdoctorat est...

  • Post-doctorant (H/F)

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


  • Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 5 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:H/F Post-doctorant pour la characterisation fonctionnelle de mutants lncRNA KO CRISPR-Cas9 chez Phaeodactylum tricornutum** Référence :...

  • (H/F) Post-doctorant

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

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


  • Paris 5e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : jeudi 10 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant Dispositifs hydrodynamiques pour la production de vésicules extracellulaires H/F** Référence : UMR168-ELISIL-008 Nombre de Postes :...

  • Post Doctorant

    il y a 4 semaines


    Paris 5e, 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 **:post doctorant (H/F) au PMMH** Référence : UMR7636-FREAUG-054 Nombre de Postes : 1 Lieu de travail : PARIS 05 Date de publication : vendredi 29...


  • Paris, France ESPCI Paris - PSL Temps plein

    Environnement et contexte de travail Notre établissement fait partie de l'Université PSL. Située au cœur de Paris, celle-ci fait dialoguer tous les domaines du savoir, de l'innovation et de la création. Classée parmi les 50 premières universités mondiales, elle forme au plus près de la recherche des chercheurs, artistes, ingénieurs,...

  • 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 : vendredi 25 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant (H/F) - Imagerie et spectroscopie aux nano-échelles de l'électroluminescence infrarouge du graphène et contrôle optique du...

  • Post-doctorant (F/H)

    Il y a 7 mois


    Paris, France École normale supérieure - PSL Temps plein

    Environnement et contexte de travail Notre établissement fait partie de l'Université PSL. Située au cœur de Paris, celle-ci fait dialoguer tous les domaines du savoir, de l'innovation et de la création. Classée parmi les 50 premières universités mondiales, elle forme au plus près de la recherche des chercheurs, artistes, ingénieurs,...

  • Post-doctorant (H/F)

    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 : lundi 2 décembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Post-doctorant (H/F) en sciences des données - Machine learning pour l'identification des matériaux dans les manuscrits enluminés** Référence :...