Share this Job
Apply now »

Thesis work: Formal Verification of Decision-Making Software

Let's create the future together.

At Volvo Cars, we believe that being curious and truly committed to understanding people is the key to future success. We are people who care about other people, working together to create new technologies and innovations for safe, sustainable and convenient mobility. Want to join us?


Formal Verification of Decision-Making Software in an Autonomous Vehicle
– A Case Study for Two Interacting Scenarios.



Correctness of autonomous driving systems is crucial as incorrect behavior may have

catastrophic consequences. Many different hardware and software components (e.g. sensing,

decision making, actuation, and control) interact to solve the autonomous driving task, leading

to a level of complexity that brings new challenges for the formal verification community.

In the light of the challenges, the identification of appropriate formalisms, the development of

sensible models, and consequently the right level of abstraction has significant impact on

addressing them.



As AD function & sensor platform Agile Release Train (ART), we have responsibility for

development, maintenance, verification and safety assurance of Autonomous drive function.

The thesis proposal is a part of scenario analysis team, in AD function & sensor platform Agile

Release Train (ART).


Aim of the project

This MSc thesis proposal is an investigation of the correctness of the autonomous driving

decision and control software, considering the existence of two different traffic scenarios.

The aim of this project is to design and develop a logical scenario model in connection to the

existing scenario, to capture the right level of abstraction, based on the available databases.

It also includes integration of the two scenarios into the existing decision-making software. In

the end, the correctness of the software regarding collision avoidance should be formally

verified. There are also possible different directions for extension of the work.



  • You are currently studying Computer Science, Electrical Engineering.
  • You need to have knowledge about Formal Methods, Formal Verification, or Discrete Event Systems, and preferably have passed related courses.
  • You also should have good programming skills.
  • Good knowledge of model checking tools, automotive and safety is a merit.



Starting date: January 2020.

Number of students: 1 or 2.


Please apply with your CV & cover letter while using the electronic link further down in this

ad as soon as possible.


Contact details
If you have any questions, please contact the industrial supervisor Mona Noori at or the team manager,
Martin Magnusson at




Who are we?

Everything we do starts with people. Our purpose is to provide freedom to move, in a personal, sustainable and safe way. We are committed to simplifying our customers’ lives by offering better technology solutions that improve their impact on the world and bringing the most advanced mobility innovations to protect them, their loved ones and the people around them. 

Volvo Cars’ continued success is the result of a collaborative, diverse, and inclusive working environment. The people of Volvo Cars are committed to making a difference in our world. Today, we are one of the most well-known and respected car brands, with over 40,000 employees across the globe. We believe in bringing out the best in each other and harnessing the true power of people. At Volvo Cars your career is designed around your talents and aspirations so you can reach your full potential. Join us on a journey of a lifetime as we create safety, autonomous driving and electrification technologies of tomorrow.

Gothenburg, O, SE

Job requisition ID:  27593

Apply now »