Offre d'emploi : Ingénieur de recherche (IGR) spécialisé en vérification logicielle et techno-logies blockchain 
Employeur : Université de La Réunion- PTU - Unité LIM
Organisme de rattachement : Université de la Réunion
Versant : Fonction Publique de l'Etat
Métier : Experte / Expert en calcul scientifique
Catégorie : Catégorie A (cadre)
Statut du poste : Vacant
Nature de l'emploi : Emploi ouvert uniquement aux contractuels
Nature de contrat : CDD de 3 ans
Localisation : Réunion (974)
Niveau d'études : Niveau 7 Master/diplômes équivalents
Niveau d'expérience min. requis : Confirmé
Télétravail :  Non
Management :  Oui
Temps plein :  Oui
Date de vacance de l'emploi : 01/09/2025
Compétences attendues : Compétences*
Connaissance, savoir :
• Maîtrise de la logique du premier ordre avec égalité et des preuves en déduction naturelle.
• Familiarité avec un environnement interactif de preuves (par exemple Rocq ou Isabelle).
• Familiarité avec la correspondance de Curry-Howard.
• Familiarité avec les techniques d'analyse statique de code (interprétation abstraite, logique de Hoare, calcul des plus faibles préconditions).
• Familiarité avec la programmation logique et la programmation fonctionnelle.
• Familiarité avec la technologie blockchain.
Savoir-faire :
• Développement logiciel (Prolog, Scala, Java).
• Développement interactif de preuves.
• Rédaction de documentation technique et scientifique (LaTeX).
• Développement web.
• Emploi du système de contrôle de version Git.
Savoir-être :
• Autonomie, rigueur, esprit critique, force de proposition.
• Capacité à dialoguer avec une équipe pluridisciplinaire (informaticiens et mathématiciens).
• Engagement sur les délais et la qualité du travail effectué.
Documents à transmettre : L'envoi du CV et d'une lettre de motivation est obligatoire