Job details
Job Type
Full-time
Permanent
Number of hires for this role
1
Full Job Description
Contexte : Dans le cadre du développement d’IKOS et pour renforcer notre département Signalisation nous recrutons un Ingénieur Méthodes Formelles. Vous évoluerez chez un de nos clients, un acteur majeur du secteur ferroviaire. Vous travaillerez sur de l’analyse logicielle pour différents lots (principalement systèmes automatiques) sur des thématiques métro, Grande Vitesse etc.
Vos activités couvriront :
- La spécification formelle puis la modélisation des propriétés de sécurité décrites en langage naturel et de l’environnement nécessaire à la preuve de ces propriétés ;
- La génération des données nécessaires au passage de la preuve ;
- La validation du bon format des données nécessaires à la preuve ;
- La preuve de ces propriétés de sécurité et l’analyse, le cas échéant, des contre-exemples.
Ce poste est fait pour vous :
De formation Ingénieur Grandes Ecoles, Docteur, ou équivalent vous avez 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, des langages Python, OCaml et HLL, ou encore de l’outil RBS2HLL sera un plus.
Statut : Cadre
Type d'emploi : Temps plein, CDI
Salaire : 2 104,00€ à 3 475,00€ par mois
Avantages :
- Horaires flexibles
- RTT
- Titre-restaurant
Horaires :
- Travail en journée
Télétravail:
- Temporairement en raison du COVID-19
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.