Postdoktor inom formell verifiering av protokoll och säker kompilering

Publiceringsdatum: 2025-12-02

Kungliga Tekniska Högskolan söker just nu efter en doktorand och du kan vara den de letar efter. Kungliga Tekniska Högskolan söker en medarbetare på heltid som vill arbeta 6 månader eller längre. Kan det vara du? Att bo i närheten av Stockholm kan vara en fördel för denna position, så om du redan bor i området bör du överväga att söka jobbet.

Kungliga Tekniska Högskolan söker för närvarande efter ambitiösa individer som vill utvecklas i rollen som doktorand. Kolla in deras ledig tjänst och se om du har vad som krävs för att bli en del av deras team. Söker du efter en spännande karriär som doktorand? Sök jobbet hos Kungliga Tekniska Högskolan senast lördag den trettioförsta januari 2026 och bli en del av deras team.

Jobbannons

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 (t.ex. 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.

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.
• 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 https://www.arbetsgivarverket.se/globalassets/arbetsgivarverket/avtal-och-skrifter/avtal/avtal-om-tidsbegransad-anstallning-som-postdoktor/avtal-om-tidsbegransad-anstallning-som-postdoktor-2021-11-19.pdf är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation.

Övrigt

För https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898 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.