Postdoktor inom testning av mjukvarudefinierade nätverk

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.




Arbetsuppgifter

Industrirobotar arbetar vanligtvis i en "säkerhetsbur" för att säkerställa att arbetare inte skadas av en robot i drift.

Vi behöver också samma typ av säkerhet, som är enkel och förklarlig, för nätverk. Nya mekanismer som kan bäddas in i nätverket genom hårdvaruaccelererade programmerbara nätverk eller kärntillägg är tekniken som möjliggör denna typ av säkerhet på nätverksnivå. Men nuvarande säkerhetsarkitekturer är inte byggda för detta.

Vi föreslår en lösning som använder maskininlärning och testgenerering, som utnyttjar expertis inom förklarlig maskininlärning och nätverk från UIUC och i testning och verifiering från KTH.

Detta projekt, kallat "Cybersäkerhetsbur", kommer att kombinera olika discipliner för att tillämpa idén om en säkerhetsbur på nätverkslagret. KTH och UIUC kommer att ha ett nära samarbete i detta projekt. På KTH kommer testfallsgenerering att validera olika spår mot modellen och även visa upp potentiellt skadligt beteende, vilket validerar både positiva och negativa resultat.

Projektet leds av följande forskargrupp:

- Assoc. Prof. Cyrille Artho (KTH)

- Assoc. Prof. Roberto Guanciale (KTH)

- Asst. Prof. Reyhan Jabbarvand (UIUC)

- Prof. Brighten Godfrey (UIUC)

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ö
- Arbete i Stockholm med närhet till naturen 
- En anställning på ett ledande tekniskt universitet som skapar kunskap och kompetens för en hållbar framtid
- Möjligheter att överföra dina forskningsresultat från första året till innovationer hos Ericsson och Saab, två världsledande företag inom telekommunikation och säkerhet

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.
- Vetenskaplig skicklighet
- Pedagogisk förmåga
- Medvetenhet om mångfalds- och likabehandlingsfrågor med särskilt fokus på jämställdhet
- Samarbetsförmåga
- Självständighet
- Kandidaten ska uppvisa en hög grad av vetenskaplig skicklighet inom ett eller helst flera av de berörda forskningsområdena: Modelldriven testning, Formella metoder, eller Runtime monitoring. Som person är du självgående och har god samarbetsförmåga.

Meriterande

- Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades.

- Kunskaper om teknologier och verktyg för programanalys med öppen källkod.


- Kunskap om mjukvarudefinierat nätverk.



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.

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 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 information om behandling av personuppgifter i samband med rekrytering läs mer här.


Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.