Contact

paris, sophia-antipolis / Hybride

Ingénieur R&D - Logiciels embarqués de sécurité

ProvenRun, leader mondial en sécurité, développe des solutions intégrées hautement sécurisées afin de fournir des composants logiciels certifiés au niveau EAL7 des Critères Communs.

Postuler

Mission

En tant qu'Ingénieur Recherche et Développement, vous intégrez une équipe en charge du développement de solutions intégrées hautement sécurisées : ProvenCore, l'OS de ProvenRun a été certifié au niveau EAL7. Une première mondiale qui témoigne de l'expertise unique en sécurité de l'équipe de ProvenRun qui fournit des composants logiciels hautement sécurisés tels que les systèmes d'exploitation et les hyperviseurs (ProvenVisor).

Profil

Vous possédez un diplôme d’ingénieur, un Master 2 en informatique, ou un diplôme équivalent, avec une expérience significative dans le domaine du développement de logiciels embarqués.

Vous maîtrisez parfaitement la programmation en C ou Rust et vous êtes familier avec l’assembleur, en particulier dans le contexte du développement de logiciels tels que les micronoyaux, les applications embarquées et les pilotes de périphérique sur des architectures à base d’ARM® Cortex-A, Cortex-M ou RISC-V.

Un intérêt pour un ou plusieurs des sujets suivants sera fortement apprécié :
• Les systèmes d'exploitation,
• Les architectures matérielles,
• Les architectures de sécurité,
• La cryptographie appliquée,
• L’assurance logicielle et la certification,
• La programmation concurrente,
• Python et la programmation Shell,
• Les outils d’automatisation des tâches et d’intégration continue.

Vous êtes rigoureux, passionné par votre métier et possédez un fort esprit d'équipe.
Un bon niveau d'anglais sera nécessaire pour évoluer dans un environnement international.

Ce poste est à pourvoir sur l’un des deux centres de R&D (Paris ou Sophia Antipolis).