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.

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. 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. If you want to join our French team you need to be fluent in French.