Ingénieur Validation de Données H/F

Pour son activité validation de données, CLEARSY recrute des ingénieur(e)s avec mission de :

• Concevoir des logiciels ;

• Vérifier la spécification et la conception des logiciels applicatifs de sécurité ;

• Valider des scénarios de tests (unitaires, intégration et de validation) ;

• Réaliser des analyses de sécurité (analyse de risque logiciel, lecture critique de code…) ;

• Réaliser des dossiers de sécurité.
  
  

Le contexte :

Les logiciels sécuritaires sont composés d'une partie algorithme, qui exploite des données (paramètres) issues des caractéristiques du terrain (exemples : positions de feu, balises, voies).

La sécurité de ces logiciels dépend de la qualité de ces deux parties bien distinctes : l’algorithme et les données. CLEARSY a construit des outils et une méthode capable de valider (vérifier) les données à très haut niveau de rigueur. Ce niveau est atteint grâce à l’emploi d’un langage formel permettant de prouver mathématiquement que les propriétés des données sont respectées (par des outils de CLEARSY).

Nos clients disposant de nombreuses données à vérifier, nous devons :
• Automatiser la chaine de vérification des paramétrages clients ;
• Exprimer des propriétés à modéliser sur les données clients, et les modéliser dans un langage formel ;
• Créer les scénarios de tests associés et les jeux de données intentionnellement corrompues, pour être sûrs de nos scénarios.

Vous :

Bac+5 informatique ou généraliste (ingénieur(e) ou universitaire)
Avec idéalement des connaissances dans les Langages formels ;

Vous vous reconnaissez dans nos valeurs que vous aurez à cœur d’entretenir. Les postes à CLEARSY sont évolutifs et polyvalents.