Ingénieur e développement C Cybersécurité

Description de la mission

Nous recherchons un Développeur C / Cybersécurité pour rejoindre une équipe d’une vingtaine d’ingénieurs en systèmes embarqués.

? Quel est le projet ?
Dans un contexte aéronautique, vous interviendrez sur le développement de briques logicielles de sécurité applicables à des calculateurs de bord embarqués. Ces briques logicielles permettent de sécuriser les communications entre différents produits.

Le calculateur principal sur lequel vous travaillerez est un calculateur de régulation de moteur d’avion qui assure la protection électronique des moteurs.

? Quelles seront vos missions ?

Participation au développement et à la vérification de briques logicielles de sécurité.
Développement de la bibliothèque en C et développement des tests unitaires.
Vérification logicielle : elle se fait en deux temps, avec un passage de RuleChecker pour lever les anomalies et un passage de TrustInSoft pour valider par preuve formelle le code et ses tests.
? Quel est l’environnement technique ?

Stack technique : langage C

Intégration continue : Git

Écosystème : Linux

Vérification : RuleChecker, TrustInSoft
* Une montée en compétences sur les outils de vérification sera effectuée à l’arrivée.

? Vous êtes…
?????? Formation d’ingénieur ou équivalent universitaire en développement logiciel.

? Vous justifiez de minium 2 années d’expérience en développement embarqué C sous Linux.

? Vous avez de bonnes connaissances en cybersécurité.

? Vous avez un bon niveau en anglais (oral et écrit).

? Rigoureux, autonome, dynamique et passionné par la technique et les challenges, vous souhaitez rejoindre une équipe technique dynamique.

? Vous avez un sens du service.