Formal Methods Validation Engineer - Remote

Overview

The Formal Methods Validation Engineer will be part of the development team for automatic metro driving systems, responsible for analyzing functional specifications and translating them into formal models.

In Short

• Analyze functional specifications of systems.
• Translate specifications into formal models.
• Prove the models and generate safety applications.
• Ensure traceability and coverage of software requirements.
• Validate mathematical proof rules.
• Analyze low-level and safety applications software.
• Identify and analyze non-conformities.
• Monitor progress and planning with subcontractors.

Requirements

• Degree from an engineering school or equivalent (Bac+5).
• Minimum experience in software safety or formal methods application.
• Knowledge of method B is a plus.
• Operational English level required.
• Proactive and autonomous.
• Desire to acquire new skills.

Benefits

• Training on the job.
• Opportunity to participate in ambitious projects.
• Dynamic work environment.
• Support for career development.