[ref. d13790117] Forskningsingenjör inom mikroarkitekturell säkerhet - Stockholm
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
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.467932
KvalifikationerKrav
- 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.
- 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 lägga stor vikt vid personliga egenskaper.
Fackliga representanterKontaktuppgifter till https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898.
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.
- 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ällningenAnstä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 ihttps://www.kth.se/om/work-at-kth/processing-of-personal-data-in-the-recruitment-process-1.823440 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