• TéléchargerPDF – 43.85Ko

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

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 : 04/07/2025

  • TéléchargerPDF – 43.85Ko

Partager la page

Veuillez pour partager sur Facebook, Twitter et LinkedIn.

  • 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
Missions :
a) Cadre de la mission :
Dans le cadre du projet « Mise en réseau de formations et de recherches en informatique et mathéma-tiques entre la Réunion, Mayotte et Madagascar » financé par le FEDER/INTERREG VI 2021/2027, l’ingénieur de recherche (IGR), titulaire d’un doctorat en informatique, 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 vali-der formellement, voire inférer, le code du contrat, en s’inspirant par exemple des travaux autour de Te-zos [3].
[1] Hotmoka : https://github.com/Hotmoka/hotmoka/
[2] LPTP :
- https://lim.univ-reunion.fr/staff/fred/Recherche/GT/docs/LPTP.pdf
 - https://github.com/FredMesnard/lptp
[3] Tezos : https://opentezos.com/formal-verification/modeling-theorem/
b) 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.
c) 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-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é.

Éléments de candidature

Documents à transmettre

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

Personnes à contacter

dominique.tournes@univ-reunion.fr

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.

À propos de l'offre

  • Agents contractuels   – Catégorie A

    Candidatures à adresser au plus tard le 04/06/2025 à 12 heures à

    recrutement-biatss@univ-reunion.fr

    Des informations peuvent être obtenues auprès de Monsieur Dominique Tournes à l’adresse courriel suivante : dominique.tournes@univ-reunion.fr

  • 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 01/09/2025

  • Experte / Expert en calcul scientifique

Des offres d'emplois recommandées pour vous