Descriptif du poste: 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. Profil recherché: Bac+5 informatique ou généraliste (ingénieur(e) ou universitaire) avec idéalement des connaissances dans les Langages formel.