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
La Réunion - 974 CDD- 48 090 € / an
- Bac +5
- Service public d'état
Détail du poste
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.
Le 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é.
Infos complémentaires
48 090
- La Réunion - 974
- CDD
Créez une alerte
Pour être informé rapidement des nouvelles offres, merci de préciser les critères :
Finalisez votre candidature
sur le site du partenaire
Créez votre compte pour postuler
sur le site du partenaire !
sur le site du partenaire
sur le site du partenaire !
Recherches similaires
- Job Ingénieur chercheur
- Job Recherche
- Job Saint-Leu
- Job Le Tampon
- Job Saint-Philippe
- Job La Possession
- Job Entre-Deux
- Job Cilaos
- Job Bras-Panon
- Job Technicien bureau d'étude
- Job Chargé de projet
- Job Responsable de bureau d'études
- Job Technicien d'études de prix
- Job Responsable technique
- Entreprises Recherche
- Entreprises Ingénieur chercheur
- Entreprises Saint-Denis
- Entreprises La Réunion
- Job Fonction publique
- Job Maintenance
- Job Logiciel
- Job Couple
- Job Université
{{title}}
{{message}}
{{linkLabel}}