IKOS est la société de conseil spécialisée dans l'ingénierie ferroviaire.
À travers nos valeurs, nous nous engageons à participer à la transition écologique en développant les modes de transport du futur, qui seront sûrs et durables, ainsi qu'une énergie plus verte.
Nos 1400 ingénieurs réalisent des projets avec le support de notre entité IKOS LAB qui pilote également nos programmes de recherches et de formations.
IKOS a eu un très fort développement à travers le monde.
Le Groupe compte actuellement 25 bureaux dans 13 pays (France, Espagne, Belgique, Allemagne, Suisse, Suède, Italie, Angleterre, Etats-Unis, Canada, Maroc, Portugal et Israà«l).
Contexte :
Dans l'environnement en plein essor du ferroviaire, IKOS recherche un ingénieurméthodesformelles (méthode B) pour accompagner un acteur majeur du secteur ferroviaire dans des projets de signalisation.
L'activité principale sera de l'analyse logicielle sur différents lots.
Vous serez amené à :
-Déployer un environnement de preuve sur UNIX et EMACS -Réaliser les preuves par l'utilisation de scripts et en analyser les résultats -Communiquer avec les équipes techniques et les clients -Suivi des différents environnements de preuves -Rédaction de la documentation -Prendre connaissances des cahiers de spécification et dossiers techniques Outils :
UNIX, EMCAS, BASH, code HLL, EXCEL, CVS Ce poste est fait pour vous :
Diplômé.e d'une école d'ingénieur ou équivalent, vous justifiez d'une première expérience dans le domaine de la validation de logiciels de sécurité ou dans la programmation temps-réel.
Une connaissance de la norme EN 50128 :
2011, est un plus.
Vous êtes autonome et vous avez une bonne maîtrise de l'anglais.
Conformément à la règlementation, tous nos postes sont ouverts au recrutement de travailleurs handicapés.
