[H/F] Ingénieur- ASESYC - Cryptographie symétrique vérifiable, sûre et efficace

Les missions du poste

Objectif Nous souhaitons étendre le compilateur Usuba, développé par le PI
et un précédent doctorant, avec des passes d'optimisation spécifiquement
spécialement conçues pour les plateformes embarquées (ARM Cortex, RISC). Notre objectif est de
performances comparables à celles des implémentations manuelles sur ces plates-formes.

Objectif 2 : nous souhaitons intégrer le langage de programmation Usuba plus étroitement dans l'écosystème logiciel existant afin de le rendre pleinement opérationnel.
dans l'écosystème logiciel existant afin de le rendre complètement
transparent pour les développeurs. Peut-être de manière contre-intuitive, notre but est de
qu'Usuba disparaisse de la vue des développeurs, les dispensant ainsi d'avoir à apprendre un autre outil.
Activités
Développement et test de passes d'optimisation pour Usuba.
Validation des optimisations sur des plateformes embarquées.
Intégration fluide d’Usuba dans l’écosystème logiciel existant.
Création d'outils et interfaces pour rendre l’utilisation d’Usuba invisible pour les développeurs.

Compétences
Optimisation de compilateurs pour des architectures embarquées (ARM, RISC).
Connaissances des systèmes embarqués et de leur programmation.
Analyse de performance, benchmarking et optimisation.
Intégration d'outils dans des écosystèmes logiciels existants.
Développement d’interfaces transparentes pour les développeurs.

Contexte de travail

Travail au sein de l'IRIF en collaboration avec Pierre Evariste Dagand au sein de l'équipe PPS

Travail au sein de l'IRIF en collaboration avec Pierre Evariste Dagand au sein de l'équipe PPS
Contraintes et risques

Pas de risque et contrainte

Pas de risque et contrainte