Formal Methods Developer

You are talented, ambitious and enthusiastic. You want to contribute to a sustainable and safe world.
You have a degree (at least three years of university studies) in computer science, automation or mathematics.
You are a good programmer in at least one programming language, and you are familiar with mathematical logic.
You need to be fluent in English, and located in Sweden or France.
Job Description 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.
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.