Developer - development and formal verification of vital train control systems

You will work in one of our teams with developing Generic Applications for train signaling systems, and with formal verification of such systems. Currently ongoing projects include train signaling logic for Roslagsbanan in Stockholm and formal verification of such systems around Stockholm, Paris and New York City.

Our projects typically have a time-span of anywhere from a few weeks to several years.
Your tasks will include specification, design, formal verification, functional testing and code generation for safety-critical railway applications. You will also work on developing and adapting software to satisfy client requirements. Other possibilities include project management and technical sales support.

We specify our systems using first order logic, and process configuration data using Python. Some of us also use OCaml, C, F# and C#.

Our staff is highly educated 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 great technical ideas.

You are allowed to work and live in Stockholm, Sweden (for example if you are a citizen of the EU, Norway, Iceland, Lichtenstein or Switzerland, or have a work permit in Sweden).

You have a BA or similar degree in computer science, mathematics or engineering.

You have demonstrated interest in advanced techniques such as formal methods, logic, parsers, formal specifications or similar, either by having an MA/PhD degree, or by having done similar things in your previous professional career or during your spare time.

You are fluent in English. Although we are a Swedish company, about 10 % of us do not speak Swedish, so all our company meetings are held in English.