Ingénieur Systèmes embarqués – H/F

Informatique

• Python
• C, C++
• Java,
• OCamL,
• Coq
• VHDL
• SystemVerilog
• ARMv7

Compétences

• Conception et implémentation de plugins utilisant la technologie eBPF,
• Ajout d’une unité de gestion de la mémoire (MMU) à un coeur RISC-V existant et  tests de fonctionnalité,
• Modifications structurelles de la MMU pour assurer certaines propriétés temporelles, et tests de fonctionnalité,
• Réalisation d’une série de tests de performance pour comparer les deux versions.
• Test avec un OS (par exemple une version dégradée de linux) pour démontrer la capacité du cœur à faire tourner un logiciel ; réalisé en SystemVerilog.
• Développer la connaissance du RISC-V et de l’écosystème associé.
• Développer et tester le fonctionnement d’un logiciel de vol type sur plusieurs implémentations de processeur RISC-V sur FPGA et comparer leurs performances.
• Développer le logiciel « LVLite » et en améliorer les performances actuelles.
• Mettre en place un mécanisme de trace temps-réel et compléter l’environnement de test de ce logiciel.

=> Compétences transverses adaptées à différents secteurs

Expérience

• 2 ans d’expérience