Postdoktor inom AI-baserad formellt verifierad kodgenerering
KUNGLIGA TEKNISKA HÖGSKOLAN · Stockholm, Sverige
Don’t apply blind. See how your CV matches this role first — free, in 30 seconds.
You will continue to the employer’s original posting.
- Company
- KUNGLIGA TEKNISKA HÖGSKOLAN
- Location
- Stockholm, Sverige
- Employment type
- Full-time
- Posted
- July 6, 2026
About this job
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…
This is a short summary. Want to know if you're a fit? Check your CV against this role — free, in 30 seconds.
See if your CV fits this job
Paste your CV for an instant match score against this role — and get a tailored cover letter in one click.
- Instant match score for this role
- Tailored cover letter in one click
- Free — no credit card