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.
Company
Scania GroupJob Posted
3 days ago
Expires
in 7 months
Employment Type
Temporary
Work mode
On Site
Experience Level
Entry
Locations
Södertälje, Sweden
Qualification
Master
Applicants
Be an early applicant
Similar Jobs
ICA Gruppen
Huddinge, SwedenSäljare till ICA Maxi Special Flemingsberg
Part Time Be an early applicant Posted 4 days ago
Sandvik
Svedala, SwedenGlobal Sales Development Manager
Full Time Be an early applicant Posted 4 days ago
Volvo Group
Warwick, United KingdomService Engineer
£50k/yr Full Time Be an early applicant Posted 4 days ago
Volvo Group
Warwick, United KingdomIT Support Specialist
£37k/yr Full Time Be an early applicant Posted 4 days ago
Volvo Group
Skövde, SwedenElectrician
Full Time Be an early applicant Posted 4 days ago
Swedish Police Authority
Stockholm, SwedenTeknikspecialister till sektionen för kamerabevakning och analys
Full Time Be an early applicant Posted 5 days ago