ArbetsuppgifterAI 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 samarbetsprojekt på 2,5 miljoner euro mellan KTH, Saab, Nvidia, Ericsson, Red Hat, CanaryBit och RISE, som bygger nästa generations säkra och tillförlitliga AI för kritiska områden som 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.KvalifikationerKravAvlagd 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 l…DoktorandDoktorander
Jobbfinder