Postdoktor inom Automatiserad Grundlig Analys av Maskinkod i Program
Kungliga Tekniska Högskolan / Datajobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla datajobb 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 Publiceringsdatum2024-04-19Dina arbetsuppgifterDivisionen 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.49050KvalifikationerKvalifikationer - 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.Så ansöker duDu 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.
Övrig informationSträ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 Ersättning Månadslön
Så ansöker du Sista dag att ansöka är 2024-07-31
Klicka på denna länk för att göra din ansökan Arbetsgivarens referens Arbetsgivarens referens för detta jobb är "J-2024-1181".
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Kungliga Tekniska Högskolan (org.nr 202100-3054)
Arbetsplats Skolan för elektroteknik och datavetenskap vid KTH
Kontakt Hamed Nemati, rekryteringsansvarig
hnnemati@kth.se Jobbnummer 8624140
Observera att sista ansökningsdag har passerat.