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. https://www.kth.se/om/jobba-pa-kth Fackliga representanter Kontaktuppgifter 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. 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 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.