Postdocs in Software Engineering for Failure Analysis and Chaos

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


Visa alla elektronikjobb 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.



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.

Publiceringsdatum
2017-12-11

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

Så ansöker du
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).

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

Varaktighet, arbetstid
100%. Tillträde: Vi vill helst att den framgångsrika kandidaten ska börja under våren 2018. Visstidsanställning

Ersättning
Månadslön

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

Kontakt
Ingela Somp / HR Officer somp@kth.se
Martin monperrus / Professor martin.monperrus@csc.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
3848350

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: