Postdoktor inom AI-baserad formellt verifierad kodgenerering
KUNGLIGA TEKNISKA HÖGSKOLAN · Stockholm, Sverige
Bewerbt Iech net blann. Kuckt fir d’éischt wéi gutt Äre CV op dës Plaz passt — gratis, an 30 Sekonnen.
Dir gitt op déi original Annonce vum Patron weidergeleet.
- Firma
- KUNGLIGA TEKNISKA HÖGSKOLAN
- Plaz
- Stockholm, Sverige
- Aart vum Kontrakt
- Vollzäit
- Publizéiert den
- 6. Juli 2026
Iwwer dës Plaz
Arbetsuppgifter AI håller snabbt på att bli den främsta författaren av världens programvara. Dagens modeller genererar kod i en hastighet som ingen människa kan matcha – men hur kan vi lita på kod som vi inte själva har skrivit? Formell verifiering erbjuder en väg till matematiskt garanterad korrekthet, men att förena den med AI-baserad kodgenerering reser djupa och till stor del olösta utmaningar. Som postdoktor angriper du just denna fråga: hur vi kan generera kod med AI och formellt verifiera att den gör det den ska. Arbetet kombinerar modern AI/LLM-baserad kodgenerering med formella metoder för att skapa programvara som är både snabb att ta fram och bevisbart pålitlig. Anställningen är en del av SAFIR (Secure AI for Intelligent Resilience and Confidentiality in the Cloud), ett samarbet…
Dat ass eng kuerz Resumé. Wëllt Dir wëssen ob Dir passt? Préift Äre CV fir dës Plaz — gratis, an 30 Sekonnen.
Passt Äre CV zu dëser Plaz?
Kopéiert Äre CV eran fir direkt e Match-Score fir dës Plaz ze kréien — plus e personaliséierte Motivatiounsbréif mat engem Klick.
- Direkten Match-Score fir dës Plaz
- Personaliséierte Motivatiounsbréif mat engem Klick
- Gratis — keng Kreditkaart