Offer summary

Qualifications:

Degree in engineering or equivalent (Bac+5), Experience in software safety or formal methods, Knowledge of the B method is a plus.

Key responsabilities:

Translate specifications into a formal model

Verify and validate formal models

Analyze low-level software and security applications

Job description

Description de l'entreprise

Qui sommes-nous ?

🤝 Partenaire technologique de référence des plus grandes entreprises françaises et internationales, ALTEN est devenu en 30 ans une entreprise d'envergure dans l'Ingénierie et le Conseil en Technologies (Près de 55.000 collaborateurs dont 90% d’ingénieurs ainsi qu'une implantation du Groupe dans plus de 30 pays).

💼 Rejoindre ALTEN, c'est la promesse de participer, en France comme à l'International, aux projets technologiques les plus innovants. Labellisé "Top employeur" 2023 ALTEN place l'humain au centre de ses valeurs. Nous avons à cœur de suivre nos consultants tout au long de leur carrière tout en leur apportant un environnement de travail dynamique (événements ludiques, techniques).

🏭 Nous sommes présents sur tous les secteurs de l’ingénierie et travaillons en étroite collaboration avec de grands acteurs industriels français.

Description du poste

Au sein de l’entité Transport Terrestre et du département Ferroviaire, vous intégrerez l’équipe de développement des systèmes de conduite automatique de métro.

Votre mission consistera à analyser les spécifications fonctionnelles des systèmes, les traduire sous la forme d’un modèle formel, prouver ce modèle et générer à partir de ce dernier les applications sécuritaires.

Les tâches principales seront :

D’assurer la traçabilité et la couverture des exigences du logiciel ainsi que la vérification des modèles formels réalisés ;
De valider les preuves des règles mathématiques ;
D’analyser des logiciels bas niveau et applicatifs sécuritaires ;
D’identifier et analyser les non-conformités ;
De suivre l’avancement et la planification des travaux auprès des sous-traitants

Qualifications

Diplômé(e) d’une école d’ingénieurs ou d’une équivalence (Bac+5), vous possédez au minimum une première expérience dans le domaine de la sûreté logicielle ou dans l’utilisation et l’application de la méthode formelle, idéalement dans le secteur ferroviaire.

La connaissance de la méthode B est un plus, un niveau d’anglais opérationnel est requis.

Proactif(ve) et doté(e) d’une grande autonomie, vous souhaitez acquérir de nouvelles compétences,

Informations complémentaires

Le secteur ferroviaire vous attire ? Vous êtes une personne rigoureuse avec une forte capacité d’adaptation ? Travailler dans un environnement exigeant mais stimulant ne vous fait pas peur ? Vous souhaitez bénéficier de formation sur le terrain, monter en compétences et participer à la réalisation d’un projet ambitieux alors embarquez pour l’aventure !

Required profile