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édaction de rapports techniques et d'articles scientifiques, et à l'encadrement de stagiaires de M2 et de
doctorat. 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
porteur 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.
Conditions particulières d'exercice :
• 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 Nombre d'agents encadrés par catégorie : plusieurs stagiaires
de master et de doctorat par an
Conduite de projet : Non
Compétences
Connaissance, savoir (cocher le maximum de cases) :
• Familiarité avec le français
• Maîtrise de la logique du premier ordre avec égalité
• Familiarité avec un environnement interactif de preuves
• Familiarité avec les techniques d’analyse statique de code
• Familiarité avec la programmation logique et la programmation fonctionnelle
• Familiarité avec la technologie blockchain
Savoir-faire (cocher le maximum de cases) :
• Développement logiciel (Prolog, Scala, Java)
• Développement interactif de preuves
• Rédaction de documentation technique et scientifique en LaTeX
• Développement web (entre autres pour la présentation des résultats scientifiques)
• Emploi du système de contrôle de version Git
Savoir-être :
• Autonomie, rigueur, esprit critique, force de proposition.
• Capacité à dialoguer avec des équipes pluridisciplinaires (informaticiens et mathématiciens).
• Engagement sur les délais et la qualité du travail effectué.
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, 1Ecole d'ingénieurs à trois spécialités, 1 OSU, 1 CFA, 1Institut Confucius, 1 PEE-PEPITE, 2 Ecoles Doctorales, 3 fédérations de recherche, 21 unités de recherche dont 9 UMR (CNRS, CIRAD, INSERM, IPGP, IRD, Météo France). Elle accueille près de 19 000 étudiants, emploie un peuplus de 1 200 personnels et dispose d'un bâti universitaire d'environ 120 000 m2 et d'un budget annuel global de 120 millions d'euros.
FICHE DE POSTE
Fonctions :
Ingénieur de recherche (IGR) spécialisé en vérification logicielle 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
Métier ou emploi type* :
*REME, REFERENS, BIBLIOFIL
Ingénieur de recherche
Fiche descriptive du poste
Catégorie : A3
Corps :
Agent contractuel à durée déterminée (36 mois)
Recrutement de niveau : 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 - Pôle Technologique Universitaire
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.