Formal Methods Developer
Prover Technology AB / Datajobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla datajobb i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Visa alla jobb hos Prover Technology AB i Stockholm 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.
Publiceringsdatum2021-07-17Så ansöker duSista dag att ansöka är 2021-07-31
AdressProver Technology AB
Krukmakargatan 21
11851 Stockholm
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Prover Technology AB (org.nr 556535-2795)
Krukmakargatan 21 (
visa karta)
118 51 STOCKHOLM
Ansökan E-post:
jobs@prover.com Jobbnummer 5866841
Observera att sista ansökningsdag har passerat.