FORMAL METHODS DEVELOPER
Rail and Metro
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.
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 Stockholm, 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.
You are fluent in English. You need not be fluent in Swedish.
Engineering a safer world
Aviation, trucking and cars bring oil dependence and pollution. Trains are faster, more economical, safer and greener. At Prover Technology, we are committed to doing our part. We supply solutions for engineering the safety-critical systems that control train signals and switches.
Prover has subsidiaries in the US and France. 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. We work in a modern, eco-friendly office at Södermalm in Stockholm.