Ingénieur d'études en industrie H/F à LEVALLOIS PERRET

Dans le cadre du développement des activités d'IKOS, nous recrutons un ingénieur informatique - vérification Code ADA dans le secteur ferroviaire. Le logiciel est composé de paquetages Ada qui représentent la partie applicative implémentant les fonctionnalités ferroviaires. Le logiciel cible d'analyse est désigné par « code source ». L'objectif est l'analyse sécurité de l'ensemble du logiciel en respectant les points suivants : - la conformité par rapport à la spécification fonctionnelle. Mettre en évidence les écarts éventuels entre la spécification fonctionnelle et le code. - la détection de « surplus » de code c.-à-d. la partie du code qui n'est pas décrite par la spécification fonctionnelle. Ce type de challenge est susceptible de vous intéresser, nous sommes à votre disposition pour toutes informations complémentaires;


Type de contrat : CDI
Date de début du contrat : 10/01/2018
Pour postuler