Apply now »

Thesis Work - Evaluating KLEE on a production codebase

Thesis Worker at Volvo Cars

 

Welcome to explore the world of Volvo Cars by authoring your thesis with us! As a thesis worker in our organization, you are supported by a supervisor who follows you during your project. All thesis projects are arranged in business-critical areas and therefore you will be able to contribute to our company's purpose – providing freedom to move in a safe, sustainable, and personal way – from day one!

 

Background

 

KLEE is a symbolic execution engine. It analyzes a program, assumes symbolic values for and generates expressions for the detected symbols and constraints of the program. The different possible inputs that may trigger an execution branch are determined by solving these constraints. KLEE is a dynamic symbolic execution engine built on top of the LLVM.

 

As part of this work, we want to develop tooling and infrastructure around KLEE and some of our codebases and document the performance and limitations of using it. We also want to use KLEE to extend the testing infrastructure by automatic test-case generation and code visualization.

 

Scope

 

We want to evaluate KLEE for inclusion in our tooling infrastructure. We want to do so by evaluating its behavior on a small representative subset of our codebase. We do so by creating special compile targets, use llvm and docker, and in some cases instrument certain parts of the codebase, to integrate the tool to the codebase. As part of this thesis, we want to evaluate this experience while doing automatic test-case generation. Finally, we want to compare the generated tests versus existing tests.

 

Note that we aim to publish any results on the next year's KLEE workshop.

 

Relevant technical domains: System verification and validation, system safety, system network topology design and optimizations, system reliability, networking systems, modelling real systems, fault modelling.

 

What you will bring

 

  • Some experience with software development (C/C++, git, scripting).
  • Background in computer science, computer engineering, electrical engineering, electronics, or other relevant fields.
  • (optional) A partner! We believe in excellence through collaboration and thus we would like to have at least two people collaborating for this thesis. If you do not have a partner do not worry, we can also match you

 

Duration 

 

  • The work to start in 2024 (exact date to be discussed)
  • The duration for this thesis work is 20-24 weeks. (full time/part time).
  • 15-30 ECTS (academic credits) if in agreement with your Thesis Advisor in University, depending on individual scope.
  • This thesis work will be conducted at Volvo Cars Gothenburg/Lund.
  • This thesis work is to be conducted by 2 students. If you apply as a pair indicate this on your applications.
  • Office, computer, and software will be organized by Volvo Cars, in co-operation with your university.

 

Be part of the change – apply today!

 

We’d love to receive and review your application. Selection will be ongoing during the application period, so do not hesitate to send in your application. Attach your CV and personal letter stating your interests within the given area and your thoughts and credentials.

 

Apply as soon as possible but no later than 2024-03-15.

 

Please note that applications via email will not be accepted.

 

If you want more information about the project or simply learn a bit more about the team, please reach out to:

 

Manager, Dania Badeie dania.badeie@volvocars.com

Supervisor, Nikolaos Korkakakis nikolaos.korkakakis@volvocars.com

 

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, SE, 40531

Job requisition ID:  67724

Apply now »