Responsable de validation formelle de la sécurité F/H (INFRA STF)
Core
Validating security requirements and ensuring compliance for specific control-command and signaling software applications deployed on the RATP railway network.
Role type
Senior Formal Methods Security Engineer (Railway Infrastructure)
Builds
Safe railway control-command and signaling software systems
Domain
Railway transport / Industrial control systems / Formal methods
Deliverable
production ML models | product features | infrastructure
Required skills
Formal methods, Model checking, System engineering, Real-time systems, Railway signaling knowledge, Project management
Preferred skills
Software safety engineering, Functional safety standards, Tool usage (e.g., OVADO)
Technologies
OVADO, ASA+ method
Responsibilities
Define security requirements for specific applications, Coordinate formal proof or testing activities to validate security compliance, Plan and manage system safety activities
Seniority
Senior, hands-on IC