Doktorand i Autonomous System and Software Program

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

Dina arbetsuppgifter
Studenten kommer att delta i en grupp ledd av prof.

Benoit Baudry som undersöker automatisk syntes av olika varianter av programvarukomponenter. Det här arbetet syftar till att ständigt utveckla distribuerade program för att förhindra "single points of failure". Den vetenskapliga metoden i detta arbete är empiri och fallstudier, där vi utvärderar diversifieringstekniken på stora, verkliga mjukvarusystem. För mer information se: http://people.rennes.inria.fr/Benoit.Baudry/selected-publications/

Denna doktorsavhandling kommer att undersöka strategier och algoritmer för att automatiskt utveckla en uppsättning programklienter (som hittas vid användning av flera kopior av en applikationsstack i molnet) till en population av diversifierade programkomponenter. Diversifiering ska ske fortlöpande, genom att observera exekveringsvillkoren och genom automatiska omvandlingar på olika nivåer av programvaran.

Doktoranden förväntas publicera i de starkaste internationella konferenserna och tidskrifterna inom programvaruteknik. Arbetsspråket är engelska.

Wallenbergs program för självstyrande system och mjukvara (WASP) finansierar denna doktorandposition. WASP är Sveriges enskilt största forskningsprogram och utgör en plattform för akademisk forskning och utbildning, vilket främjar samverkan med Sveriges ledande teknikföretag. Se http://wasp-sweden.org/.

Kvalifikationer
En lämplig bakgrund för denna position kan vara en civilingenjör i datavetenskap.

En specialisering inom mjukvaruutveckling är ett plus. Internationell erfarenhet och språkkunskaper betraktas som fördelaktiga kvalifikationer. Expertis inom objektorienterad programmering och design uppskattas mycket.

Sökande måste vara starkt motiverade för doktorandstudier, ha förmåga att arbeta självständigt och utföra kritisk analys och också ha en god förmåga till samarbete och kommunikation.

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 tillsvidareanställning

Ersättning
Enligt KTH:s avtal för doktorandlöner

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

Kontakt
Benoit Baudry / Professor 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
3841553

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