Postdoktor inom AI för cybersäkerhet av kommunikationsprogramvara

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.

Arbetsuppgifter AICell-labbet (https://aicell.io) vid avdelningen för tillämpad fysik på KTH och Science for Life Laboratory (SciLifeLab) är en forskargrupp finansierad av programmet Data-driven Life Science Fellows (DDLS). Gruppen, ledd av Wei Ouyang, bygger nästa generations AI-system för cell- och molekylärbiologi. AlphaCell är ett nytt SciLifeLab-initiativ som syftar till att utveckla den första molekylärnivå-beräkningsmodellen av den mänskliga cellen. Programmet leds av Jan Ellenberg (direktör för SciLifeLab) och Mathias Uhlén (direktör för Human Protein Atlas), tillsammans med en samarbetande, mångdimensionell konstellation av SciLifeLab-forskare och infrastrukturenheter. AlphaCell-programmet rekryterar nu en postdoktor inom AI-modellering. Tjänsten är placerad i AICell-labbet vid KTH och SciLifeLab. Den utvalda kandidaten kommer att samarbeta nära med Avlant Nilssons grupp för cancercellsmodellering vid Karolinska Institutet och SciLifeLab samt med datateamet vid Human Protein Atlas. Rollen är beräkningsorienterad men förankrad i biologiska frågor. Du kommer att utveckla och träna storskaliga AI-modeller som lär sig representera, förutsäga och simulera cellbeteende från heterogena biologiska dataset — inklusive levande-cells-fluorescensmikroskopi, elektronmikroskopi och molekylära mätningar. En stark förmåga att förstå biologiska system, tolka komplexa dataset och koppla modelleringsval till biologiska frågor är central. 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. Förmågan att uttrycka dig på engelska då vi arbetar i en internationell miljö. Meriterande Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades. Har stark förankring i biologiska system och dokumenterat intresse för cellbiologi och biologisk modellering. Har erfarenhet av att tolka biologiska data, gärna mikroskopi och multimodala dataset som kombinerar avbildning och molekylära mätningar. Har bakgrund inom beräkningsbiologi, bioinformatik eller maskininlärning för biologiska problem. Har erfarenhet av moderna djupinlärningsramverk (PyTorch, JAX eller motsvarande). Har goda mjukvarutekniska vanor, inklusive modulär, väldokumenterad och reproducerbar kod. Trivs i tvärvetenskapliga team och har god förmåga att kommunicera mellan beräknings- och experimentella miljöer. Är vetenskapligt nyfiken, självgående och motiverad av biologiskt meningsfulla modelleringsproblem. Har en god pedagogisk förmåga. Är medveten om mångfalds- och likabehandlingsfrågor med särskilt fokus på jämställdhet. 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. 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.