Université de La Réunion
Ingénieur de recherche (IGR) spécialisé en vérification logicielle et techno-logies blockchain
Université de La RéunionFrance1 day ago
ContractEngineering, Information Technology
  • Accueil
  • Offres d'emploi
  • Ingénieur de recherche (IGR) spécialisé en vérification logicielle et techno-logies blockchain
  • TéléchargerPDF – 44.54Ko

Ingénieur de recherche (IGR) spécialisé en vérification logicielle et techno-logies blockchain

Partager la page

Veuillez pour partager sur Facebook, Twitter et LinkedIn.

  • Partager sur Facebook
  • Partager sur X (anciennement Twitter) - nouvelle fenêtre
  • Partager sur LinkedIn
  • Partager par email

Réf. Référence : 2025-1943069

  • Fonction publique : Fonction publique de l'État
  • Employeur : Université de la Réunion Université de La Réunion- PTU - Unité LIM
  • Localisation : Université de La Réunion - PTU - Unié LIM

Domaine : Recherche

Postuler par mail

Date limite de candidature : 14/11/2025

  • TéléchargerPDF – 44.54Ko

Partager la page

Veuillez pour partager sur Facebook, Twitter et LinkedIn.

  • Partager sur Facebook
  • Partager sur X (anciennement Twitter) - nouvelle fenêtre
  • Partager sur LinkedIn
  • Partager par email
  • Nature de l’emploi Emploi ouvert uniquement aux contractuels
  • Nature du contrat CDD de 3 ans
  • Expérience souhaitée Confirmé
  • Rémunération Fourchette indicative pour les contractuels 48 090 € brut/an Fourchette indicative pour les fonctionnaires Non renseignée
  • Catégorie Catégorie A (cadre)
  • Management Oui
  • Télétravail possible Non

Vos missions en quelques mots

Missions :

  • Cadre de la mission :

Dans le cadre du projet « Mise en réseau de formations et de recherches en informatique et mathématiques entre la Réunion, Mayotte et Madagascar » financé par le Programme INTERREG VI

océan Indien 2021/2027, l’ingénieur de recherche IGR, familier de la recherche scientifique en informatique et coauteur d'au moins une publication dans le domaine, aura pour mission de proposer des

stratégies avancées de développement logiciel certifié pour la blockchain Hotmoka [1] en lien avec l’université de Mayotte et les université malgaches partenaires.

Deux voies sont à explorer. La première consiste à extraire du code Prolog à partir d’une preuve de spécification rédigée dans le système LPTP [2], en intégrant un calcul automatique de complexité en

temps. Le code Prolog sera par la suite compilé en Scala comme composant logiciel certifié pour Hotmoka. La seconde consiste à modéliser un contrat intelligent par un couple (précondition/postcondition) pour valider formellement, voire inférer, le code du contrat, en s’inspirant

par exemple des travaux autour de Tezos [3].

[1] Hotmoka : https://github.com/Hotmoka/hotmoka/

[2] LPTP :

l https://lim.univ-reunion.fr/staff/fred/Recherche/GT/docs/LPTP.pdf

l https://github.com/FredMesnard/lptp

[3] Tezos : https://opentezos.com/formal-verification/modeling-theorem/

  • Recherche scientifique :

L’IGR consacrera l’essentiel de son activité (90 %) à la recherche scientifique. Il mènera des travaux autour du développement de preuves à l’aide d’assistants de preuves interactifs. Il contribuera à la rédac-

tion de rapports techniques et d'articles scientifiques, et à l'encadrement de stagiaires de M2 et de docto-rat. Il effectuera du développement logiciel multi-langages. Il travaillera en collaboration étroite avec l’équipe projet pour garantir la pertinence scientifique des résultats, avec une valorisation attendue via publications et livrables techniques.

  • Activités complémentaires :

L'IGR Contribuera (10 % De Son Activité) à La Réalisation Des Tâches Suivantes En Concertation Avec Le Por-teur Du Projet Et Le Futur Ingénieur D'étude :

  • Participation aux réunions de pilotage du projet.
  • Contribution à la gestion administrative et financière du projet.
  • Contribution à l'organisation des rencontres et manifestations scientifiques du projet.
  • Contribution à la création et la maintenance des pages web du projet.

Profil recherché

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

Niveau d'études minimum requis

  • Niveau Niveau 7 Master/diplômes équivalents

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

Éléments de candidature

Documents à transmettre

Pour postuler à cette offre, l'envoi du CV et d'une lettre de motivation est obligatoire

Personnes à contacter

[email protected]

Qui sommes-nous ?

L'Université de La Réunion est un EPSCP pluridisciplinaire avec secteur santé dont le siège se trouve sur le campus du Moufia à Saint-Denis. Elle est implantée sur 7 autres sites dans le nord, dans l'ouest et dans sud de l'île.

L'Université comprend 5 UFR, 1 IUT, 1 IAE, 1 ESPE, 1 Ecole d'ingénieurs à trois spécialités, 1 OSU, 1 CFA, 1 Institut Confucius, 1 PEE-PEPITE, 2 Ecoles Doctorales, 3 fédérations de recherche, 21 unités de recherche dont 9 UMR (CNRS, CIRA, INSERM, IPGP, IRD, Météo France). Elle accueille près de 15000 étudiants, emploie un peu plus de 1 100 personnels et dispose d'un bâti universitaire d'environ 120 000 m2 et d'un budget annuel global de 120 millions d'euros.

Descriptif du service

Fonctions :

Ingénieur de recherche (IGR) spécialisé en vérification logicielle et techno-logies blockchain dans le cadre du projet « Mise en réseau de formations et de recherches en informatique et mathématiques entre la Réunion, Mayotte et Madagascar » financé par l’Appel à manifestation d’intérêt 2023 (P.O. FE-DER / INTERREG VI 2021/2027)

Métier ou emploi type* :

  • REME, REFERENS, BIBLIOFIL

Ingénieur de recherche Fiche descriptive du poste

Catégorie :

A3

Corps :

Ingénieur de Recherche (IGR) Affectation

Administrative :

Université de La Réunion / Unité : LIM

Géographique :

Saint-Denis de La Réunion (France)

Site : PTU - Parc Technologique Universitaire

À propos de l'offre

  • Agents contractuels – Catégorie A

Candidatures à adresser au plus tard le 14/11/2025 à 12 heures à

[email protected]

Des informations peuvent être obtenues auprès de Monsieur Dominique Tournes à l’adresse courriel suivante : [email protected]

  • Conditions particulières d'exercice :
  • Compte-rendu mensuel obligatoire via l’application SINCHRO.
  • Signalement immédiat en cas de déviation significative des temps de travail.
  • Accès aux équipements : o ordinateur personnel, connexion internet, imprimantes, o salle de visioconférence avec tableau interactif intégré, o infrastructure réseau de l'université.

Encadrement : Oui

Nb agents encadrés par catégorie : plusieurs stagiaires de master et de doctorat

Conduite de projet : Non

  • Vacant à partir du 19/01/2026
  • Experte / Expert en calcul scientifique

Des offres d'emplois recommandées pour vous

  • Ingénieur.e de recherche dans le cadre du projet intitulé «MELAPI »
    • Recherche
    • Localisation : Réunion (974)
    • Fonction publique : Fonction publique de l'État
    • Employeur : Université de la Réunion
    • En ligne depuis le 14 octobre 2025
  • Assistant-e Ingénieur en technique d'analyse chimique
    • Recherche
    • Localisation : Réunion (974)
    • Fonction publique : Fonction publique de l'État
    • Employeur : Université de la Réunion
    • En ligne depuis le 13 octobre 2025
  • Assistant-e Ingenieur-e dans le cadre du projet intitulé « REBONDIR »
    • Recherche
    • Localisation : Réunion (974)
    • Fonction publique : Fonction publique de l'État
    • Employeur : Université de la Réunion
    • En ligne depuis le 07 octobre 2025
  • Assistant-e ingénieur-e en instrumentation et techniques expérimentales
    • Recherche
    • Localisation : Réunion (974)
    • Fonction publique : Fonction publique de l'État
    • Employeur : Institut de Physique du Globe de Paris (IPGP)
    • En ligne depuis le 24 septembre 2025
  • Post-doctorant en géophysique-Feder observatoire volcanologique et sismologique de la Réunion- OVPF
    • Recherche
    • Localisation : Réunion (974)
    • Fonction publique : Fonction publique de l'État
    • Employeur : Institut de Physique du Globe de Paris (IPGP)
    • En ligne depuis le 30 avril 2025
  • Chercheur en écologie et évolution computationnelles F/H
    • Recherche
    • Localisation : Guyane (973)
    • Fonction publique : Fonction publique de l'État
    • Employeur : Institut de Recherche pour le Développement (IRD)
    • En ligne depuis le 13 octobre 2025

Key Skills

Ranked by relevance
Apply