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

Kungliga Tekniska Högskolan / Elektronikjobb / Stockholm
2025-11-25

Visa alla elektronikjobb 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

Publiceringsdatum
2025-11-25

Dina 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
Kvalifikationer
- 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.

https://www.kth.se/om/jobba-pa-kth

Fackliga representanter
Kontaktuppgifter till https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898.

Så ansöker du
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.
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.

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

Ersättning
Månadslön

Så ansöker du
Sista dag att ansöka är 2026-01-15
Klicka på denna länk för att göra din ansökan

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "PA-2025-3946".

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Kungliga Tekniska Högskolan (org.nr 202100-3054)

Arbetsplats
Skolan för elektroteknik och datavetenskap vid KTH

Kontakt
Roberto Guanciale, robertog@kth.se
+4687906937

Jobbnummer
9615227

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

Prenumerera på jobb från Kungliga Tekniska Högskolan