Thesis Student - From Requirements to Proof: Exploring AI-Assisted Software Verification
Teknik, data och digitalt · Mjukvaru- och webbutveckling · Mjukvaruutveckling · QA och testning
I korthet
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.
Ansvarsområden
- 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.
Krav
- 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.
Önskade kvalifikationer
- Interest in AI and software development.
- Understanding of logical reasoning.
- Familiarity with specification-driven development (SSD).
Förmåner
- 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.
Färdigheter
AISoftware DevelopmentLLMFormal VerificationC++JavaC
#AI#Software Verification#LLM#Formal Methods#Thesis#Computer Science#Software Engineering#Embedded Systems#Automotive
Om 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.
Företag
Scania GroupPublicerade jobb
för 2 dagar sedan
Upphör
om 8 månader
Anställningstyp
Tillfällig
Arbetsform
På plats
Erfarenhetsnivå
Junior
Platser
Södertälje, Sweden
Kvalifikation
Masterexamen
Sökande
Ansök tidigt
Liknande jobb
Microsoft
RomaniaTechnical Support Advisory IC4
199–348 tn LEI/år Heltid Ansök tidigt Publicerad för 4 dagar sedan
Saab
Linköping, SwedenHead of Supplier Quality Management
Heltid Ansök tidigt Publicerad för 4 dagar sedan
Ericsson
Stockholm, SwedenConcepts Researcher: AI in 6G RAN
Heltid Ansök tidigt Publicerad för 4 dagar sedan
Ericsson
Stockholm, SwedenEngagement Manager
Heltid Ansök tidigt Publicerad för 4 dagar sedan
Saab
Solna, Sweden +5 flerHead of IT service management process
Heltid Ansök tidigt Publicerad för 4 dagar sedan
Saab
Solna, Sweden +5 flerHead of security compliance services
Heltid Ansök tidigt Publicerad för 4 dagar sedan