Thesis Student - From Requirements to Proof: Exploring AI-Assisted Software Verification

Technology, Data & Digital · Software & Web Development · Software Engineering · QA & Testing

In short

This thesis position explores AI-assisted software verification for automotive software at TRATON. Students will investigate how LLMs can translate requirements into formal properties to check code against specifications without traditional testing, focusing on C++ and Java.

Responsibilities

Explore how LLMs can help translate requirements into formal properties.
Review generated specifications before verification.
Assess the approach's provability, limitations, and suitability for code.
Investigate SSD support for C++ and Java.

Requirements

Master's degree student in Computer Science, Software Engineering, Computer Engineering, Embedded Systems, or related field.
Enjoy programming.
Curiosity about AI and software quality.
Experience with C, C++, or Java is helpful.

Desired Qualifications

Interest in AI and software development.
Understanding of logical reasoning.
Familiarity with specification-driven development (SSD).

Benefits

Gain experience in AI and software verification.
Apply knowledge to a real engineering challenge.
Build connections for your future career.
30 Credits for thesis work.

Skills

AISoftware DevelopmentLLMFormal VerificationC++JavaC

#AI#Software Verification#LLM#Formal Methods#Thesis#Computer Science#Software Engineering#Embedded Systems#Automotive

About Scania Group

Scania is a world-leading provider of transport solutions committed to a better tomorrow. Our purpose is to drive the shift towards a sustainable transport system. In doing so, we are creating a world of mobility that’s better for business, society and our environment. Employing more than 50,000 people in about 100 countries, Scania’s research and development is concentrated in Sweden, while production takes place in Europe and South America.

See all open jobs at Scania Group Read more about Scania Group Website