Ingénieur Méthodes Formelles H/F Nouveau, IKOS GROUP

Report this listing

POSTULER

Emplacement

Levallois-Perret
Île-de-France
France

Date de publication:

2024-05-17

Online to:

2024-07-16
EUR 20.00 HOUR

Ingénieur Méthodes Formelles H/F Nouveau

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

Niveau d'expérience : 1 à 5 ans

Jeunes diplômés acceptés

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 ?

Offre d'emploi

CDI

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).

Année de création

2005

Age moyen

32 ans

POSTULER

Ingénieur Méthodes Formelles H/F …

Emplacement

Date de publication:

Online to:

Ingénieur Méthodes Formelles H/F Nouveau

Quelles sont les missions ?

Quel est le profil idéal ?

Pourquoi les rejoindre ?

Plus d'emplois de votre recherche

CHARGÉ / CHARGÉE D’AFFAIRES PROFESSIONNELS (H/F)

Alternance - Consultant(e) - Prevent_Risk - Cybersécurité - Île-De-France

Manager conformité H/F (CDI)

Manager - CDI Temps Plein H/F

Manager - H/F - CDI Temps Plein

CDI Communication Manager (Influence & Social)

Content Manager (h/f)

CHEF D’ÉQUIPE H/F

CHEF D'ÉQUIPE INDUSTRIEL - URGENT ! (H/F)

Chef d'équipe formation technique - H/F

LEADER BUREAU TECHNIQUE H/F

Leader Conseil en Management F/H

Responsable de Bureau - Management Équipe H/F