L’identification et analyse des besoins clients, la définition et planification des tâches, le pilotage de l’ensemble des phases du projet, la coordination et animation de l’équipe projet, le reporting….
Vous prendrez en charge des activités de développement logiciel (spécification à la validation) et de test de logiciels embarqués ou contraints sur des systèmes temps réel.
Vous intégrerez l’équipe qui développe le produit Safe and Secure OPC, implémentation sécurisée du protocole OPC UA. Cette équipe a la responsabilité d’accompagner les industriels dans leurs développements ou leurs preuves de concept.
Ingénieur Développement Logiciel Model Checking H/F
Vous aurez la responsabilité des évolutions de model checking en assurant l’ensemble du cycle de développement, des phases de spécification aux phases de tests et validation jusqu’à la livraison aux utilisateurs finaux.
Vous prendrez en charge des activités de développement et de test de logiciels applicatifs (contrôle-commande automatique, informatique de sécurité de métro, supervision, simulateur d’équipement…) en respectant un cycle en V.
Vous réaliserez les activités des projets de développement, suivrez les développements des méthodes formelles, définirez les processus des utilisations des méthodes formelles conformes aux normes ferroviaires.
Au sein de l’activité Modélisation et Preuves, vous travaillerez sur le développement et la maintenance d’outils logiciels sous Linux dans un contexte rigoureux et de haute technicité.