Postdoktor inom AI-baserad formellt verifierad kodgenerering
KUNGLIGA TEKNISKA HÖGSKOLAN · Stockholm, Sverige
Bewerben Sie sich nicht blind. Sehen Sie zuerst, wie gut Ihr Lebenslauf zu dieser Stelle passt — kostenlos, in 30 Sekunden.
Sie werden zur Original-Anzeige des Arbeitgebers weitergeleitet.
- Unternehmen
- KUNGLIGA TEKNISKA HÖGSKOLAN
- Standort
- Stockholm, Sverige
- Anstellungsart
- Vollzeit
- Veröffentlicht am
- 6. Juli 2026
Über diese Stelle
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…
Das ist eine Kurzfassung. Wissen Sie, ob Sie passen? Prüfen Sie Ihren Lebenslauf für diese Stelle — kostenlos, in 30 Sekunden.
Passt Ihr Lebenslauf zu diesem Job?
Fügen Sie Ihren Lebenslauf ein und erhalten Sie sofort einen Match-Score für diese Stelle — plus ein passendes Anschreiben mit einem Klick.
- Sofortiger Match-Score für diese Stelle
- Passendes Anschreiben mit einem Klick
- Kostenlos — keine Kreditkarte