Postdoktor inom AI-baserad formellt verifierad kodgenerering

Karlstad University; Stockholms kommun; On-site; SEK 390,600 - 558,000; Full time

Job summary

Karlstad University söker en postdoktor inom AI-baserad formellt verifierad kodgenerering. Du kommer att arbeta med att kombinera AI och formell verifiering för att utveckla programvara som är både snabb och pålitlig.

Som del av ett internationellt team, erbjuder tjänsten en dynamisk arbetsmiljö med tillgång till avancerad teknologi.

Qualifications

• Doktorsexamen eller motsvarande krävs senast vid anställningsbeslutet.
• Förmåga att samarbeta med forskare.
• Självständig arbete med hög grad av ansvar.

Responsibilities

• Generera AI-kod och verifiera dess funktion.
• Deltaga i tvärvetenskapliga projekt med KTH och andra partners.
• Arbeta i en internationell forskargrupp med tillgång till avancerad utrustning.

Skills

Samverkan med forskare

Självständighet

Medvetenhet om mångfalds- och likabehandlingsfrågor

Education

Doktorsexamen eller motsvarande

Tools

AI/LLM

Formell verifiering

Job description

Postdoktor inom AI-baserad formellt verifierad kodgenerering

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.

Arbetsuppgifter

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. Du kommer att arbeta i SAFIR, ett tvärvetenskapligt projekt som samverkar med KTH, Saab, Nvidia, Ericsson, Red Hat, CanaryBit och RISE för att bygga säkra och tillförlitliga AI‑lösningar för telekom, försvar och moln. Du blir en del av forskargruppen Machine‑Intelligence for Networks and Distributed Systems (MINDS) vid Institutionen för data‑ och lärandesystem, Skolan för elektroteknik och datavetenskap (EECS) i en internationell och dynamisk miljö med starka akademiska och industriella samarbeten. Du får tillgång till internationella superdatorresurser och ett toppmodernt labb utrustat med NVIDIA H100- och A100‑GPU:er samt tio NVIDIA RTX Pro 6000‑GPU:er.

Anställningen gäller tillsvidare, dock längst två år. En postdoktor är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation.

Det kan förekomma att en anställning hos KTH är placerad i säkerhetsklass. Om så är fallet för just denna anställning görs en säkerhetsprövning enligt säkerhetsskyddslagen (2018:585) efter samtycke. I dessa fall är en förutsättning för anställning att sökande blir godkänd efter säkerhetsprövning.

Kvalifikationer

• Avlagd doktorsexamen eller utländsk examen som bedöms motsvara en doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas.
• Kandidaten har god förmåga att samarbeta med andra forskare.
• Kandidaten kan utföra sitt arbete med en hög grad av självständighet.
• Medvetenhet om mångfalds‑ och likabehandlingsfrågor med särskilt fokus på jämställdhet.

Meriterande

• Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades.
• Expertis inom formell verifiering.
• Expertis inom AI.

Bli en del av KTH

KTH formar framtiden genom utbildning, forskning och innovation. Som ett ledande internationellt tekniskt universitet spelar vi en aktiv roll i att driva och medverka i omställningen till ett hållbart samhälle. Du erbjuds en kreativ och dynamisk arbetsplats med goda arbetsvillkor och förmåner. Jämställdhet, mångfald och lika villkor är en självklar del av KTH:s värdegrund som universitet och statlig myndighet.

Kontakt

Marco Chiesa, [e-mail]

Anställningsform

Anställningsform: Tidsbegränsad anställning
Anställningens omfattning: Heltid
Tillträde: Enligt överenskommelse
Löneform: Månadslön
Antal lediga befattningar: 1
Sysselsättningsgrad: 100%
Ort: Stockholm
Län: Stockholms län
Land: Sverige
Referensnummer: PA-2026-2576
Publicerat: 2026-07-06
Sista ansökningsdag: 2026-08-31