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
Volvo Group
Curitiba, BrazilMaterial Planner Analyst PL
Full Time Be an early applicant Posted 4 days ago
Electrolux Group
São Paulo, BrazilBusiness Analyst SR – CRM & Data
Full Time Be an early applicant Posted 3 days ago
Scania Group
Trujillo, PeruTECNICO DE ALMACEN
Full Time Be an early applicant Posted 3 days ago
Scania Group
Santa Maria, BrazilAUXILIAR MECANICO
Full Time Be an early applicant Posted 3 days ago
Scania Group
Santa Maria, BrazilMECANICO I
Full Time Be an early applicant Posted 3 days ago
Scania Group
Sapuucaia do Sul, BrazilVENDEDOR DE VEICULOS E SERVICOS
Full Time Be an early applicant Posted 3 days ago