Offre d'emploi :  Post-doctorant ou post-doctorante en preuve mécanisée - CDD - 12 mois 
Employeur : Télécom SudParis
Organisme de rattachement : TELECOM Sud Paris
Versant : Fonction Publique de l'Etat
Métier : Ingénieur pédagogique de formation
Catégorie : Catégorie A (cadre)
Statut du poste : Vacant
Nature de l'emploi : Emploi ouvert aux titulaires et aux contractuels
Nature de contrat : CDD d'1 an
Localisation : Essonne (91)
Lieu d'affectation : 9 Rue Charles Fourier, 91000 Évry, France
Niveau d'études : Niveau 8 Doctorat/diplômes équivalents
Niveau d'expérience min. requis : Débutant
Spécialisation : Formations générales
Langues : Anglais
Niveaux : Autonome
Télétravail :  Oui
Management :  Non
Temps plein :  Oui
Date de vacance de l'emploi : 19/10/2023
Compétences attendues : 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
Documents à transmettre : L'envoi du CV et d'une lettre de motivation est obligatoire