Kungliga Tekniska högskolan, Skolan för datavetenskap och kommunikation

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.

Avdelningsinformation

Forskargruppen i teoretisk datavetenskap på KTH Datavetenskap och kommunikation (KTH CSC) söker postdoktorala forskare i teoretisk datavetenskap.

Teorigruppen på KTH CSC (www.csc.kth.se/tcs) erbjuder en stark forskningsmiljö med ett brett spektrum av forskning inom ämnen som till exempel komplexitetsteori och approximationsalgoritmer, data- och nätverkssäkerhet, kryptografi, formella metoder och språkteknologi. Vi har en av Europas främsta forskargrupper inom algoritmer och beräkningskomplexitet, och forskningen här har genererat ett antal internationella utmärkelser och stora forskningsanslag på senare år.

Arbetsuppgifter

Inom forskningsområdet mjukvaruteknik studeras vetenskapen om och konsten i hur mjukvarusystem och applikationer kan designas och byggas, med ekonomi och elegans, så att de på ett säkert sätt fullgör avsedda uppgifter. Martin Monperrus forskningsarbete drivs framförallt av två övergripande frågor.

Den första frågeställningen handlar om hur mjukvara kan repareras automatiskt. För att lösa detta uppfinner och testar forskargruppen system som automatiskt reparerar mjukvarufel. Dessa system är program som analyserar och reparerar andra program, man kan se dem som digitala robotar som reparerar andra digitala robotar.

Den andra frågan handlar om hur man kan konstruera mindre skör mjukvara. Forskargruppen undersöker olika tillvägagångssätt. Många programfel får mer kritiska konsekvenser än de borde, och Montperrus anser att det beror på att de flesta programmeringsparadigm är sköra i sig. Forskargruppens arbete syftar här till att förstå orsaken till skörheten i mjukvara. Målet är också att föreslå motåtgärder som kan appliceras på storskaliga distribuerade mjukvarusystem, även kallade molnapplikationer, såsom Spotify och Wikipedia.

Postdok- forskaren kommer att arbeta inom det framväxande området "chaos engineering" (see https://arxiv.org/pdf/1702.05843)

Se relaterad litteratur:

[1] Chaos Engineering https://goo.gl/RSUhBW

[2] Exception Handling Analysis and Transformation Using Fault Injection: Study of Resilience Against Unanticipated Exceptions https://goo.gl/a8oEUa

[3] Automating Failure Testing Research at Internet Scale https://goo.gl/C2H9Mn

Postdok- forskaren förväntas ge rådgivning till doktorander och även publicera i de bästa tidskrifterna och konferenserna. Ansökan ska komma med en forskningsrapport som föreslår nya forskningsanvisningar inom området kaosteknik.

Forskningsprojektet finansieras av Wallenberg Autonomous Systems and Software Program (WASP). WASP är Sveriges största forskningsprogram för autonom mjukvara och utgör en plattform för akademisk forskning och utbildning, vilket främjar interaktion med Sveriges ledande teknikföretag. Se http://wasp-sweden.org/

Arbetsspråket är engelska. Detta är en tvåårig tidsbegränsad position. Startdatumet är öppet för diskussion, men vi vill helst att den framgångsrika kandidaten ska börja under våren 2018.

Kvalifikationer

Doktorsexamen i datavetenskap eller närliggande område

Fackliga representanter

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

Ansökan

Ansökan skall omfatta följande dokument:

  • Curriculum vitae
  • Publikationslista
  • Kort forskningsbeskrivning (research statement) med redogörelse för forskning såhär långt och forskningsplaner och -intressen framöver
  • Kopia av doktorsexamen

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

Övrigt

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

Anställningsform Visstidsanställning längre än 6 månader
Anställningens omfattning Heltid
Tillträde Vi vill helst att den framgångsrika kandidaten ska börja under våren 2018.
Löneform Månadslön
Antal lediga befattningar 2
Sysselsättningsgrad 100%
Ort Stockholm
Län Stockholms län
Land Sverige
Referensnummer D-2017-0903
Kontakt
  • Ingela Somp / HR Officer, somp@kth.se
  • Martin monperrus / Professor, martin.monperrus@csc.kth.se
Publicerat 2017-12-11
Sista ansökningsdag 2018-01-15

Tillbaka till lediga jobb