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 : Bac5 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.