Ingénieur Validation de Données H/F

CDI

RETOUR LISTE DES OFFRES
Réf : 72
Publié le 07/08/2019

Ingénieur Validation de Données H/F

CDI

Aix-en-Provence - Provence-Alpes-Côte d'Azur - France

Présentation de l'entreprise

Depuis 2001, CLEARSY innove pour faire progresser la sécurité des systèmes et des personnes grâce aux outils logiciels et électroniques conçus et développés dans ses bureaux d’études.
Nos ingénieurs interviennent sur toutes les phases de nos projets, de la spécification à la réalisation de solutions que nous livrons assortis de leur dossier de certification.
Nous nous impliquons de façon croissante dans la technologie des systèmes intelligents et connectés (robots, drones, voitures et trains autonomes, …) avec des outils et logiciels capables de répondre aux enjeux de l’automatisation.

Le savoir-faire de CLEARSY est reconnu en France et dans le monde entier avec une vingtaine de projets à l’international depuis 2006 et CLEARSY connait une croissance régulière depuis sa création.
Nos 150 collaborateurs sont répartis entre nos quatre sites : Aix-en-Provence, Strasbourg, Lyon, Paris. Les valeurs de CLEARSY – audace, passion pour la technique, plaisir - s’épanouissent au sein d’une entreprise à taille humaine.


Intégrer CLEARSY c’est rejoindre une communauté de spécialistes dans laquelle les compétences professionnelles sont reconnues et enrichies ; dans laquelle l’inventivité, l’autonomie et le sens du collectif sont des qualités appréciées.

Description 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é

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.

Partager cette offre