Ingénieur Validation de Données H/F

CDI

RETOUR LISTE DES OFFRES
Réf : 72
Publié le 30/10/2018

Ingénieur Validation de Données H/F

CDI

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

Présentation de l'entreprise

CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels critiques (comme le pilote automatique du métro de la ligne 14 à Paris).

Rassemblant plus d’une centaine d’ingénieurs répartis sur 4 pôles (Aix – Paris – Lyon – Strasbourg) CLEARSY participe aux projets stratégiques des grands industriels et donneurs d’ordres nationaux et internationaux.
L’activité est majoritairement orientée vers le secteur ferroviaire, énergie (nucléaire) et défense.

CLEARSY exporte aujourd’hui son expertise et ses systèmes à l’étranger (Sao Paolo / Stockholm / Caracas / New York / Hiroshima / Honolulu….)

Les équipes CLEARSY interviennent dans toutes les phases d’un projet, de la spécification à la réalisation de systèmes « clé en main » tout en garantissant un respect le plus strict des exigences de sûreté.

Description du poste

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

La sécurité de ces logiciels dépendent donc de la qualité de ces deux parties bien distinctes. Une des activités de CLEARSY consiste à vérifier les paramètres, et nous avons construit des outils et une méthode pour valider ces données avec un niveau de rigueur très élevé. Ce niveau est atteint en employant un langage formel, mathématique, permettant de réaliser les preuves mathématiques que les propriétés des données sont respectées (par des outils de CLEARSY).

Comme nos clients disposent 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énarii de tests associés et les jeux de données intentionnellement corrompues, pour être sûr de nos scénarii
Nous cherchons à recruter des ingénieurs pour rejoindre nos équipes et prendre en charges les activités ci dessus. Nos missions sont larges et peuvent s'étendre à ces activités

conception et développement de logiciels
De vérification de la spécification et de la conception des logiciels applicatifs de sécurité
De la validation des scénarios de tests (unitaires, intégration et de validation) ;
De la réalisation d’analyses de sécurité (analyse de risque logiciel, AEEL, lecture critique de code, etc…)
De la réalisation de dossier de sécurité selon les normes ferroviaires.

Profil recherché

De formation Bac+5 informatique (ingénieur ou universitaire), vous avez des connaissances dans les domaines suivants :

  • Développement Logiciel
  • Langages B, C et ADA 
  • Les notions mathématiques usuelles

La connaissance du monde du ferroviaire et de ses normes (EN 50128) serait un véritable atout sur ce poste. Vous êtes autonome et habitué à travailler en équipe.

Partager cette offre