Postdoktor i automatisk diversifiering av programvara

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

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

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 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.




Publiceringsdatum
2017-12-14

Dina arbetsuppgifter
Postdoktoranden kommer att gå med i gruppen av prof.

Benoit Baudry som undersöker den automatiska syntesen av olika varianter av programvarukomponenter. Det här arbetet syftar till att ständigt utveckla distribuerade program för att förhindra enskilda punkter av misslyckande. Empirism och fallstudier utgör kärnvetenskapliga grundvalar för detta arbete, där vi utvärderar diversifieringstekniken på stora, verkliga mjukvarusystem. Området för programvarutiversifiering är ett brett område som berör alla lager av moderna programvarupackar (från operativsystemet till applikationskoden) och sträcker sig över flera koncept i programvara (approximativt beräkning, säkerhet, prestanda, datainriktad databehandling). Dess grund lades i Forrests seminalpappret och den senaste översikten finns tillgänglig i vår enkät:

https://softwarediversity.eu/survey.pdf

https://softwarediversity.eu/forrest97.pdf

Postdoktoranden förväntas utveckla en självständig forskningsverksamhet inom mjukvaruutveckling, som ska publiceras i toppkonferenser och tidskrifter inom programvaruteknik. Sökanden måste också vara redo att delta i tillsynsaktiviteter (mastere och doktorander). Arbetsspråk är engelska. Ansökan bör motiveras med ett forskningsrapport om en personsökare. Wallenbergs autonoma system och program för programvara (WASP) finansierar denna postdokposition. WASP är Sveriges största enskilt enskilda forskningsprogram och utgör en plattform för akademisk forskning och utbildning, vilket främjar samverkan med Sveriges ledande teknikföretag. http://wasp-sweden.org/..

Kvalifikationer
En lämplig bakgrund för denna position skulle vara doktorsexamen i datavetenskap med en specialisering inom mjukvaruutveckling eller programmeringsspråk. Internationell erfarenhet och språkkunskaper betraktas som fördelaktiga kvalifikationer. Expertis inom objektorienterad programmering och design uppskattas mycket.

Fackliga representanter

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

Så ansöker du
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, helst snarast möjligt Visstidsanställning

Ersättning
Lön enligt överenskommelse och gängse nivå för postdoc

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

Kontakt
Benoit Baudry, Professor +46 (0) 8 - 790 41 10/ baudry@kth.se
Vedran Eminefendic, HR-administratör vedran2@kth.se

Företag
Kungliga Tekniska högskolan,

Adress
Kungliga Tekniska högskolan,
Kistagången 16
16440 Kista

Kontorsadress
Kistagången 16

Jobbnummer
3853925

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,: