Postdoktor inom formell verifiering av protokoll och säker kompilering

Kungliga Tekniska högskolan, Skolan för elektroteknik och datavetenskap

Arbetsuppgifter

Avdelningen för nätverk och systemteknik vid Kungliga Tekniska högskolan (KTH) utlyser en postdoktoral forskartjänst finansierad av Wallenberg AI, Autonomous Systems and Software Program (WASP). Vi söker en mycket motiverad och skicklig forskare med stark bakgrund inom formella metoder för säkerhet, med inriktning mot antingen formell verifiering av säkerhetsprotokoll eller säker kompilering, till vår dynamiska forskargrupp.

Den idealiska kandidaten har expertis inom formella metoder och minst ett av följande områden: verifiering av säkerhets- och kryptografiska protokoll, symbolisk och beräkningsbaserad säkerhetsanalys eller kompilatorkorrekthet och bevarande av säkerhetsegenskaper. Erfarenhet av bevisassistenter och automatiska verifieringsverktyg Coq, Isabelle/HOL, Tamarin, ProVerif) samt SMT-lösare är mycket meriterande och kommer att ses som en fördel.

Utöver att leda egna forskningsprojekt kommer den framgångsrika kandidaten att arbeta med att utveckla analysramverk för att utvärdera och bevisa säkerhetsegenskaper hos protokoll och program samt etablera end-to-end-garantier längs hela kompilationskedjan. Arbetet innefattar att bidra med nya forskningsidéer, utveckla skalbara verktyg och samarbeta med andra forskare i gruppen och med externa samarbetspartners.

Vår växande forskargrupp består för närvarande av 4 doktorander, 2 postdoktorer och 1 biträdande lektor, och har tagit fram modeller, teorier och verktyg som har publicerats på flera ledande konferenser (CAV'20, CCS'23, ISCA'22, SP'24, CSF'25). Vi finansieras av flera forskningsfinansiärer och företag, inklusive WALP, Intel och Amazon.

Kvalifikationer

Krav

• Avlagd doktorsexamen eller utländsk examen som bedöms motsvara en doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas.
• Som person är du en självständig och drivande forskare med stark bakgrund inom formella metoder för säkerhet.
• Du har dokumenterad vetenskaplig skicklighet inom minst ett av de aktuella forskningsområdena.
• Du har en stark publikationslista i välrenommerade internationella konferenser och tidskrifter.
• Du kan formulera och driva egna forskningsidéer samt bidra till gemensamma projekt inom gruppen.
• Du kommunicerar vetenskapliga resultat tydligt, både skriftligt och muntligt, och du trivs med att arbeta i en internationell forskningsmiljö.

Meriterande

• Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades.
• Medvetenhet om mångfalds- och likabehandlingsfrågor, med särskilt fokus på jämställdhet.
• Du är självständig i ditt arbete och har lätt för att samarbeta med andra.

Vi kommer att 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.
3. Kortfattad redogörelse för varför du vill bedriva forskning, dina akademiska intressen och hur de relaterar till dina tidigare studier och framtida mål. max 2 sidor lång. 

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

Om anställningen

Anställningen gäller tillsvidare, dock längst två år

En anställning som postdoktor är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation.

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

Dela länkar

Tillbaka till lediga jobb

---