Formal Methods Developer – Rail and Metro

At Prover an experienced team with talents from around the world works together creating and delivering state-of-the-art solutions for train control systems. Your colleagues will be some of the best people in the world in formal methods. The Prover team is highly educated (~50% PhD’s) with a desire to apply theoretical knowledge to real-life problems that matter. We are eager to constantly improve our methods. There are many opportunities to contribute with new innovative techniques and bright ideas.

You will work in the Solutions team located in France and Sweden. Your main task will be to develop and maintain formal specifications for customers in rail or metro, and to perform formal verification work. We use Python for automation of various tasks and for conversion between data formats.

Deployment in currently ongoing projects include formal verification of train signaling logic in Sweden, France, USA, Canada and China.

Send your application with a resume and cover letter to jobs@prover.com.

Engineering a safer world

Trains are faster, more economical, safer and greener than cars and trucks. At Prover Technology, 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 has subsidiaries in the US, France and China. It is privately owned by investors and staff, and has customers in Europe, North America and Asia.

At Prover you will find a highly intelligent team, a respectful atmosphere and cultural diversity.