Formal Verification and Safety Engineer

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!