Postdoktor inom AI-baserad formellt verifierad kodgenerering

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 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. Kvalifikationer Krav 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. Vi kommer att lägga stor vikt vid personliga egenskaper. 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. Här erbjuds du möjligheten att växa och utvecklas på en kreativ och dynamisk arbetsplats med goda arbetsvillkor och förmåner. Jämställdhet, mångfald och lika villkor är en kvalitetsfråga och en självklar del av KTH:s värdegrund som universitet och statlig myndighet. Läs mer om våra förmåner och hur det är att arbeta och utvecklas på KTH. Fackliga representanter Kontaktuppgifter till fackliga representanter. Ansökan Du ansöker via KTH:s rekryteringssystem. Du som sökande har huvudansvaret för att din ansökan är komplett när den skickas in. Ansökan ska innehålla: CV inklusive relevant yrkeserfarenhet och kunskap. Personligt brev, med ditt förväntade datum för doktorsexamen (disputation). Kopia av examensbevis och betyg från dina tidigare universitetsstudier. Översättningar till engelska eller svenska om de ursprungliga dokumenten inte utfärdas på något av dessa språk. Kortfattad redogörelse för varför du vill bedriva forskning, dina akademiska intressen och hur de relaterar till dina tidigare studier och framtida mål. max 2 sidor lång. Ansökan ska vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (Central European Time/Central European Summer Time). Om anställningen Anställningen gäller tillsvidare, dock längst två år En anställning som postdoktor är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation. Övrigt För information om behandling av personuppgifter i samband med rekrytering. 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 av sökande i enlighet med 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. Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.