Forskningsingenjör inom mikroarkitekturell säkerhet

Arbetsuppgifter

Vi söker en forskningsingenjör för att arbeta upp till sex månader inom ett projekt om formell verifiering och mikroarkitekturell säkerhet vid Avdelningen för nätverk och systemteknik, KTH. 

Tjänsten är en del av ett projekt finansierat av Wallenberg Launchpad (WALP) och innebär utveckling av formella analysramverk för att utvärdera programsäkerhet mot mikroarkitekturella attacker. Arbetsuppgifterna innefattar att stödja forskningsaktiviteter såsom implementering av programanalyssystem och att bidra till designen av en säkerhetsanalysplattform. Erfarenhet av kompilatordesign och starka programmeringskunskaper är mycket meriterande.

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ö
• Arbete i Stockholm med närhet till naturen (frivillig att ta med i svenska annonsen)
• Frivilligt att skriva ytterligare punkter kring vad KTH eller den specifika anställningen erbjuder eller gör oss unika

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

Kvalifikationer

Krav

• Avlagd examen på grundnivå eller avancerad nivå (högskoleutbildning) inom ämnet för anställningen eller motsvarande kompetens.
• Starka färdigheter i programmering och mjukvaruutveckling (med språk som C++ och Python), med fokus på att bygga skalbara verktyg som går bortom akademiska prototyper.
• Flytande engelska, då det krävs i det dagliga arbetet.

Meriterande

• Erfarenhet av programverifiering.
• Bekantskap med SMT-lösare och design av kompilatorpass.
• Medvetenhet om mångfalds- och likabehandlingsfrågor med särskilt fokus på jämställdhet.
• Som person har du lätt för att arbeta självständigt men trivs också med att samarbeta i grupp.

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:

1. CV inklusive relevant yrkeserfarenhet och kunskap.
2. 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.
3. Personligt brev, max 2 sidor långt

Ansökan ska vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (CentralEuropean Time/Central European Summer Time).

Om anställningen

Anställningen gäller tidsbegränsat enligt avtal - i upp till 6 mån, med tillträde enligt överenskommelse.

Ö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.

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. Läs mer här

1. Hamed Nemati, [email protected], 000000000
2. Roberto Guanciale, [email protected], 087906937