Postdoktor inom Rigoröst skydd av program från hårdvaruattacker
Kungliga Tekniska Högskolan / Datajobb / Stockholm
2025-02-07
Visa alla datajobb i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Visa alla jobb hos Kungliga Tekniska Högskolan i Stockholm,
Solna,
Huddinge,
Sollentuna,
Södertälje eller i
hela Sverige Publiceringsdatum2025-02-07Dina arbetsuppgifterAvdelningen 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
https://arxiv.org/pdf/2005.05254 https://people.kth.se/~musard/research/pubs/ccs20.pdf https://hnemati.github.io/paper/lcms_ISCA22_cameraready.pdf. 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
https://arxiv.org/pdf/2005.05254https://people.kth.se/~musard/research/pubs/ccs20.pdf https://dl.acm.org/doi/pdf/10.1145/3466752.3480130 https://hnemati.github.io/paper/lcms_ISCA22_cameraready.pdf. - Vi finansieras av flera organisationer och företag, inklusive WASP, Center for CyberDefense, Intel, Ericsson, SAAB.
https://www.kth.se/om/work-at-kth/kth-your-future-workplace-1.49050 samt våra
https://www.kth.se/om/work-at-kth/en-arbetsplats-med-manga-formaner-1.467932KvalifikationerKvalifikationer - 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
https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898Så ansöker duDu 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
https://www.arbetsgivarverket.se/globalassets/arbetsgivarverket/avtal-och-skrifter/avtal/avtal-om-tidsbegransad-anstallning-som-postdoktor/avtal-om-tidsbegransad-anstallning-som-postdoktor-2021-11-19.pdf är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation.
Övrig informationSträ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
https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898 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.
Om KTH
KTH är ett av Europas ledande tekniska universitet och en viktig arena för kunskapsutveckling. Som Sveriges största universitet för teknisk forskning och utbildning samlar vi studenter, forskare och fakultet från hela världen. Vår forskning och utbildning omfattar såväl naturvetenskap som alla grenar inom teknik samt arkitektur, industriell ekonomi, samhällsplanering, historia och filosofi.
https://www.kth.se/om/om-kth-1.885102 Ersättning Monthly salary
Så ansöker du Sista dag att ansöka är 2025-03-20
Klicka på denna länk för att göra din ansökan Arbetsgivarens referens Arbetsgivarens referens för detta jobb är "PA-2025-0450".
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Kungliga Tekniska Högskolan (org.nr 202100-3054)
Arbetsplats Skolan för elektroteknik och datavetenskap vid KTH
Kontakt Hamed Nemati, rekryteringsansvarig
hnnemati@kth.se Jobbnummer 9152291