Postdoktor inom Automatiserad Grundlig Analys av Maskinkod i Program

Arbetsuppgifter Divisionen för nätverk och systemteknik vid KTH inbjuder ansökningar till en postdoktorandtjänst finansierad av Wallenberg AI, Autonomous Systems and Software Program (WASP). Vi söker en mycket motiverad forskare med en stark bakgrund inom systemskydd och formell verifiering för att ansluta sig till vår forskargrupp. Denna position erbjuder möjligheten att fördjupa sig i banbrytande forskning som syftar till att förbättra säkerheten och tillförlitligheten hos moderna system. Den framgångsrika kandidaten kommer att fokusera på ett eller flera av följande forskningsområden: - Systemsäkerhet:Undersök och åtgärda sårbarheter på olika systemnivåer, inklusive mikroarkitektursäkerhet (t.ex. sidokanalattacker, hårdvarusårbarheter), systemsäkerhet i mjukvara (operativsystem, hypervisorer, kompilatorer) och designa nya säkerhetsarkitekturer och försvar. - Formell verifikation:Bevisa den funktionella korrektheten och säkerheten för kod på låg nivå, verifiera säkerheten för protokoll (kryptografiska protokoll, distribuerade system) och utveckla skalbara verifieringstekniker och verktyg. Vi erbjuder - En anställning på ett ledande tekniskt universitet som skapar kunskap och kompetens för en hållbar framtid - Engagerade och ambitiösa kollegor samt en kreativ, internationell och dynamisk miljö https://www.kth.se/om/work-at-kth/kth-your-future-workplace-1.49050 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 - En doktorsexamen i datavetenskap eller ett relevant ämne och stark bakgrund  inom ett eller flera av de områden som nämns i jobbannonsen - Vi ser att du har en mycket god forskningskompetens och pedagogisk förmåga 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ärskild fokus på jämställdhet mellan könen - Du är självständig i ditt arbete och har inga problem att samarbeta tillsammans med andra  Vi kommer att lägga stor vikt vid personliga egenskaper. Fackliga representanter Du hittar kontaktuppgifter till fackliga representanter på 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. Din ansökan behöver att bestå ut av: - 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. - En forskningsförklaring som förklarar varför du vill bedriva forskning, om dina akademiska intressen och hur de relaterar till dina tidigare studier och framtida mål; maximalt 2 sidor lång. - Representativa publikationer eller tekniska rapporter: Dokument som är högst 10 sidor vardera. För längre dokument (t.ex. avhandlingar), bifoga en sammanfattning (abstract) och en webblänk till fulltexten. - Kontaktinformation för två referenspersoner. Vi förbehåller oss rätten att kontakta referenser endast för utvalda kandidater.  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 Strävan efter jämställdhet, mångfald och lika villkor är både en kvalitetsfråga och en självklar del av KTH:s värdegrund. För https://www.kth.se/om/work-at-kth/processing-of-personal-data-in-the-recruitment-process-1.823440. Anställningen kan komma att omfatta säkerhetskänslig verksamhet. För att bli behörig behöver du därför klara en eventuell säkerhetsprövning. Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser. Om KTH KTH är ett av Europas ledande tekniska universitet och en viktig arena för kunskapsutveckling. Som Sveriges största universitet för teknisk forskning och utbildning samlar vi studenter, forskare och fakultet från hela världen. Vår forskning och utbildning omfattar såväl naturvetenskap som alla grenar inom teknik samt arkitektur, industriell ekonomi, samhällsplanering, historia och filosofi. https://www.kth.se/om/om-kth-1.885102