Postdoctoral position in System Security and Formal Methods

Kungliga Tekniska högskolan, / Supportteknikerjobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska högskolan,

Visa alla supportteknikerjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska högskolan, i Stockholm, Solna, Huddinge 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, historia och filosofi.




Publiceringsdatum
2018-07-05

Dina arbetsuppgifter
Anställningen är en del av TrustFull, trustfull.

proj.kth.se, ett nytt projekt som handlar om datorsäkerhet genom hela mjukvarustacken och som finansieras av stiftelsen för strategisk forskning, SSF. TrustFull kombinerar användning av nya tekniker, som automatiserad generering av olika mjukvaruimplementationer och automatiserad mjukvarureparation, med formella tekniker på låg mjukvarunivå. Detta för att utveckla nya tekniker för att uppnå säkerhet mellan ändpunkterna genom hela mjukvarustacken från hårdvara till användarprogram.

I TrustFull implementeras, modelleras och formellt verifieras säkerhetskritiska systemkomponenter, och där modeller och verifieringsverktyg utvecklas. Främst används halvautomatiska bevisassistenter i högre ordningens logik, HOL. Forskningsgruppen leds av professor Mads Dam och biträdande universitetslektor Roberto Guanciale, och kombinerar djupa intressen i logik, matematik, abstrakt modellering och formella bevis med en stark vilja att applicera dessa metoder för att designa, utveckla, testa, och verifiera konkreta system.

Projektet involverar många olika sorters utmaningar, bland annat teori och formella metoder, verktygsutveckling, modellering och verifiering av kritiska hårdvarukomponenter (CPU:er, GPU:er, och I/O-enheter av olika sorter), utveckling och verifiering av systemmjukvara, implementation av prototyper, och mjukvarusyntes.

I TrustFull ingår nära samarbete med andra forskare i områdena mjukvarukonstruktion och mjukvarusäkerhet. Som postdoktor finns också stora möjligheter att handleda studenter på båda forskarnivå och avancerad nivå, undervisa, och att assistera i projektutveckling och anslagsansökningar.

Positionen är en forskaranställning på heltid under ett år med en potentiell förlängning på ett år. Startdatumet är förhandlingsbart, men idealt så snart som möjligt.

Kvalifikationer
Ansökanden bör ha en doktorsexamen i ett ämne relevant för anställningens forskningsområde.

Djup kunskap och erfarenhet inom formella metoder är ett krav, och likaså bra programmeringsfärdigheter. Erfarenhet av systemprogrammering och datorsäkerhet är fördelaktigt.

Fackliga representanter

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

Så ansöker du
- Curriculum vitae,
- Betygsavskrift från högskolan/universitet
- Kortfattad redogörelse varför den sökande är intresserad av tjänsten.

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
Jämställdhet, mångfald och avståndstagande från alla former av diskriminering ä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.

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

Ersättning
Månadslön

Så ansöker du
Sista dag att ansöka är 2018-08-02
Ange följande referens när du ansöker: J-2018-1581
Klicka på denna länk för att göra din ansökan

Kontakt
Roberto Guanciale robertog@kth.se
Mads Dam / Professor mfd@kth.se
Ingela Somp / HR officer somp@kth.se

Företag
Kungliga Tekniska högskolan,

Adress
Kungliga Tekniska högskolan,
Brinellvägen 8
10044 Stockholm

Kontorsadress
Brinellvägen 8

Jobbnummer
4247278

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska högskolan,

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