Désolé, cette offre est expirée.
Nous vous invitons à effectuer une
nouvelle recherche.
Les candidats ayant postulé à cette offre ont également postulé à :
Offre d'emploi
Ingénieur Méthodes Formelles H/F
Offre expirée
IKOS GROUP
Détail de l'offre
Quelles sont les missions ?
Contexte :
Dans l'environnement en plein essor du ferroviaire, IKOS recherche un ingénieur méthodes formelles (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
Quel est le profil idéal ?
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.
Pourquoi les rejoindre ?
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).
Lire la suite
Année de création
2005
Age moyen
32 ans
Je dépose mon CV dans la CV-thèque
Doc, Docx, rtf, pdf (3 Mo. max)
