Postdoktor inom Rigoröst skydd av program från hårdvaruattacker

Arbetsuppgifter

Avdelningen för nätverks- och systemteknik vid KTH Kungliga Tekniska Högskolan inbjuder ansökningar till en postdoktoral forskartjänst finansierad av Wallenberg Launchpad (WALP). Vi söker en mycket motiverad och talangfull forskare med en stark bakgrund inom formell verifikation och mikroarkitektonisk säkerhet för att ansluta sig till vår dynamiska forskargrupp. 

Den idealiska kandidaten har expertis inom formella metoder, programverifikation och analys av mikroarkitektoniska attacker. Erfarenhet av design av kompilatorpass och SMT-lösare är mycket önskvärt och kommer att betraktas som en fördel. Starka programmeringskunskaper är nödvändiga, eftersom målet är att utveckla en verklig säkerhetsanalysplattform snarare än begränsade akademiska prototyper. 

Den framgångsrika kandidaten kommer att arbeta med att designa och implementera praktiska och fungerande formella analysramverk för att utvärdera programmens säkerhet mot mikroarkitektoniska attacker (P1, P2, P3). Detta inkluderar att bidra till nya forskningsidéer, utveckla skalbara verktyg och samarbeta med andra forskare inom gruppen samt externa partners.

Vi erbjuder

• En anställning på ett ledande tekniskt universitet som skapar kunskap och kompetens för en hållbar framtid
• Engagerade och ambitiösa kollegor samt en kreativ, internationell och dynamisk miljö
• En anställning på ett ledande tekniskt universitet som skapar kunskap och kompetens för en hållbar framtid
• Vår växande forskargrupp består av 7 doktorander, 1 postdoktor, 1 universitetslektor, 1 biträdande lektor och har producerat innovativa modeller, teorier och verktyg som har publicerats på flera topprankade konferenser (CAV’20, CCS’21, MICRO’21, ISCA’22).
• Vi finansieras av flera organisationer och företag, inklusive WASP, Center for CyberDefense, Intel, Ericsson, SAAB.

Läs mer om hur det är att arbeta på KTH samt våra förmåner.

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.
• Stark meritlista
• Gedigen bakgrund inom systemutveckling
• Kandidaten måste uppvisa en hög grad av vetenskaplig kompetens inom ett eller, helst flera, av de berörda forskningsområdena: formella metoder, sidokanalsattacker, design av kompilatorpass och SMT-lösare
• Som person är du självständig och har god samarbetsförmåga

Meriterande

• Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades.
• Medvetenhet om mångfalds- och likabehandlingsfrågor med särskilt fokus på jämställdhet
• Som person har du en god pedagogisk förmåga

Vi kommer att lägga stor vikt vid personliga egenskaper.

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
•  Representativa publikationer eller tekniska rapporter
• Kontaktinformation för två referenspersoner. Vi förbehåller oss rätten att kontakta referenser endast för utvalda kandidater.

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

Strävan efter jämställdhet, mångfald och lika villkor är både en kvalitetsfråga och en självklar del av KTH:s värdegrund.

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.