Postdoktor inom bevisbart säkra system

Kungliga Tekniska högskolan, Skolan för datavetenskap och kommun / Logistikjobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska högskolan, Skolan för datavetenskap och kommun

Visa alla logistikjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska högskolan, Skolan för datavetenskap och kommun i Stockholm, Solna eller i hela Sverige

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, teknisk historia och filosofi.

För mer information om skolan för datavetenskap och kommunikation, besök www.kth.se/csc.



Avdelningsinformation

Tjänsten tillhör avdelningen för teoretisk datalogi.

För mer information besök https://www.kth.se/csc/forskning/tcs

Publiceringsdatum
2016-12-07

Dina arbetsuppgifter
Tjänsten är anknytt PROSPER gruppen som leds av professor Mads Dam och biträdande lektor Roberto Guanciale

Målet med PROSPER projektet är att utveckla nya säkerhetslösningar och plattformar som är formellt verifierade på hårdvara nivå och i vissa fall även djupare. Vi arbetar med design och modellering av olika låg-nivå system mjukvara komponenter, med verifikation av lågnivå kod, och med modellering och analys av de underliggande hårdvara plattformar. Detta involverar en mängd utmaningar innefattande utveckling av teorier och metoder, verktygsutveckling, hårdvara modellering, utveckling och verifikation av systemprogramvara, och implementation och test av prototyper av olika slag.

Som del av PROSPER gruppen kommer den nya postdoc ha goda möjligheter att delta i handledningen av studerande på både doktorand och masters nivå, att bidra till undervisningen på grundnivå, samt att medverka till projektledning och framtagning av anslagsansökningar.

Forskningen finansieras genom en blandning av fakultetsmedel och externa projekt. Vi utför även viss industrifinansierat forskning. Tjänsten kommer sannolikt att involvera olika typer av projekt.

Tjänsten innebär fulltids forskning tidsbegränsat till ett år med möjlighet för förlängning ytterligare ett år, förutsatt tillgänglig och förväntad finansiering.

Kvalifikationer
Sökande bör ha en PhD i ett relevant ämne såsom datalogi. Tjänsten kräver god kompetens och erfarenhet av formella metoder såväl som goda programmeringskunskaper. Erfarenhet av systemprogrammering och datasäkerhet är också en fördel.

För anställningen krävs att doktorsexamen erhållits inom tre år före ansökningstidens utgång

Fackliga representanter

Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida.

Så ansöker du
Ansökan skall innefatta följande handlingar:

- Curriculum vitae,
- Kortfattad redogörelse varför den sökande är intresserad av tjänsten.
- Kontaktinformation till ett par referenspersoner.
Vi emotser din ansökan på maximalt två A4-sidor samt ett CV.

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 vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (Central European Time/Central European Summer Time).

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

Varaktighet, arbetstid
100%. Tillträde: Enligt överenskommelse Visstidsanställning

Ersättning
Månadslön

Så ansöker du
Sista dag att ansöka är 2017-01-08
Ange följande referens när du ansöker: D-2016-0858
Klicka på denna länk för att göra din ansökan

Kontakt
Roberto Guanciale/ Bitr. Universitetslektor robertog@kth.se
Maria Widlund / HR Manager mwidlund@KTH.se

Företag
Kungliga Tekniska högskolan, Skolan för datavetenskap och kommun

Adress
Kungliga Tekniska högskolan, Skolan för datavetenskap och kommun
Lindstedtsvägen 3-5/Osquars Backe 2
10044 Stockholm

Kontorsadress
Lindstedtsvägen 3-5/Osquars Backe 2

Jobbnummer
3200272

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska högskolan, Skolan för datavetenskap och kommun

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Kungliga Tekniska högskolan, Skolan för datavetenskap och kommun: