Thesis: AI-Driven Formal Verification of Automotive Software

Scania; Stjärna; On-site; SEK 167,000 - 234,000; Full time

Job summary

Scania is offering a thesis opportunity focused on AI-assisted software verification. You will translate requirements to formal properties and review specifications for verification, starting January 2027.

The work considers C++/Java in a formal verification context and explores SSD approaches with LLM support for automotive software. You will collaborate with thesis supervisors at Scania, contributing to a research-driven project with a clear evaluation path and potential impact on

Qualifications

• Currently pursuing a master's degree in Computer Science, Software Engineering, Computer Engineering, Embedded Systems, or related field.
• Experience with C, C++, or Java is helpful.
• Interest in AI and software quality is a plus.

Responsibilities

• Translate requirements into formal properties for verification.
• Review generated specifications before verification.
• Assess what the formal approach can prove and its limitations.
• Collaborate with supervisors and explore SSD for C++/Java.

Skills

C/C++

Java

AI

Education

Master's degree in CS/SE/CE

Job description

Scania is offering a thesis opportunity focused on AI-assisted software verification. You will translate requirements to formal properties and review specifications for verification, starting January 2027.

The work considers C++/Java in a formal verification context and explores SSD approaches with LLM support for automotive software. You will collaborate with thesis supervisors at Scania, contributing to a research-driven project with a clear evaluation path and potential impact on