Forskningsingenjör inom UI-utveckling och test av säkerhetsanalysverktyg

Arbetsuppgifter

Vi söker en forskningsingenjör för ett upp till sex månader långt projekt som omfattar UI-utveckling och testning av formella verifieringsverktyg för 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). De huvudsakliga arbetsuppgifterna innefattar utveckling av användargränssnitt (UI) samt testning av formella analysramverk som utvärderar programsäkerhet mot mikroarkitekturella attacker. Ytterligare uppgifter kan omfatta bidrag till utformningen av andra delar av ramverket samt stöd för relaterade forskningsaktiviteter.

Gedigna mjukvaruutvecklingskunskaper och god erfarenhet av C/C++ värderas högt. Även om det inte är ett krav ses kunskap om mikroarkitekturell säkerhet samt erfarenhet av kompilatordesign, LLVM eller SMT-lösare som meriterande.

Kvalifikationer

Krav

• Avlagd examen på grundnivå eller avancerad nivå (högskoleutbildning) inom ämnet för anställningen eller motsvarande kompetens.
• Goda kunskaper i mjukvaruutveckling med C/C++, och gärna även med andra programmeringsspråk, exempelvis Python;
• Mycket goda kunskaper i engelska, vilket krävs i det dagliga arbetet.

Meriterande

• Kunskap om mikroarkitekturella attacker, såsom Spectre och Meltdown;
• Bakgrund eller intresse inom programverifiering, compiler pass-design, LLVM eller SMT-lösare;
• 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.

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:

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.

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

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.