Ingénieur de Recherche Igr Spécialisé en Vérification Logicielle et Techno-Logies Blockchain H/F

Ministère de l'enseignement supérieur et de la recherche

Missions :
a) 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/
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.