About Prover

Engineering a safer world

Trains are faster, more economical, safer and greener than cars and trucks. At Prover, we are committed to doing our part for a better world. We supply solutions for engineering the safety-critical systems that control train signals and switches.

Prover is a Swedish company with subsidiaries in the US, France, China and Algeria. Prover has customers all over the world. At Prover you will find a highly intelligent team, a respectful atmosphere and cultural diversity.

Job description

Prover is seeking a Formal Verification and Safety Engineer in Algiers to join our engineering team.

As a Formal Verification and safety Engineer, you will be responsible for providing technical support for the development, design, and verification of customer systems. You would be involved from the definition phase, to implementation, and V&V. In particular, this involves formal verification and safety activities.

The position will offer an opportunity to work on new and ongoing projects with a diverse international team and in good work conditions.

Responsibilities

• Provide technical support for the development, design and verification of customer systems, from the definition phase to implementation and V&V. In particular formal verification services.
• Suggest improved technical solutions to meet customer requirements and/or help customers to reach their goals faster.
• Communicate effectively with customers to identify needs and evaluate alternative business solutions.
• Collaborate closely with our expert team to apply formal methods within the railway safety context.
• Support system development, design, and verification, with a specific focus on formal methods.
• Stay updated on evolving formal methods techniques and relevant safety regulations.
• Actively participate in knowledge sharing to foster team growth.
• Continuously look for opportunities to increase customer satisfaction and deepen relationships.
• Manage customer expectations.
• Build lasting relationships with customers.
• Provide training to customers.
• Maintain knowledge about each client's activities, organization and objectives.

Requirements

• Academic degree in computer science, software engineering or similar
• Basic understanding of formal methods, ideally within the context of railway safety
• Enthusiastic learner with a passion for contributing positively to railway safety
• High reliability and trustworthiness
• Fluent in English
• Ability to work in a multicultural and diverse environment
• Critical mind and attention to details
• Team spirit and willingness to compromise
• Excellent problem-solving and troubleshooting skills
• Good communication and collaboration skills
• An eager will to always improve on processes and automation

Desirable Requirements

• Familiarity with formal logics and theorem proving
• Experience with formal methods tools and languages
• Knowledge of software and hardware verification methodologies
• Understanding of safety-critical system standards and regulations
• Previous work or academic experience in formal methods or safety projects

Benefits

• Competitive salary and benefits package
• Opportunities for career growth and development
• Dynamic and multicultural work environment

If you are interested in this opportunity and meet the requirements, please submit your resume and cover letter to us. We look forward to hearing from you!