Mjukvaru- och systemutvecklare m.fl.
Thesis Student - From Requirements to Proof: Exploring AI-Assisted Software Verification
Scania
- Sista ansökningsdag ej angiven
Fler detaljer
- Publicerad
- 1 nov. 2026
- Sista ansökningsdag
- Ej angivet
- Anställning
- Ej angivet
- Omfattning
- Ej angivet
- Varaktighet
- Ej angivet
- Antal tjänster
- Ej angivet
- Lön
- Ej angivet
- Erfarenhet
- Ej angivet
Annonsens beskrivning
Från källan, oredigeradDen här annonsen kommer från arbetsgivarens egen sida eller en annan jobbsajt. Här visas en sammanfattning — läs hela annonsen och ansök hos källan.
From Requirements to Proof: Exploring AI-Assisted Software Verification- 30 CreditsIntroduction Interested in AI and software development? Explore how AI and logical reasoning could help check automotive software at TRATON.