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.
Publiceringsdatum2017-12-11Dina arbetsuppgifterInom 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/C2H9MnPostdok- 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.
KvalifikationerDoktorsexamen i datavetenskap eller närliggande område
Fackliga representanter
Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida.
Så ansöker duAnsö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 informationVi 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ättningMånadslön
Så ansöker duSista 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ökanKontaktIngela Somp / HR Officer
somp@kth.seMartin monperrus / Professor
martin.monperrus@csc.kth.seFöretagKungliga Tekniska högskolan, Skolan för datavetenskap och kommun
AdressKungliga Tekniska högskolan, Skolan för datavetenskap och kommun
Lindstedtsvägen 3-5/Osquars Backe 2
10044 Stockholm
KontorsadressLindstedtsvägen 3-5/Osquars Backe 2
Jobbnummer 3848350
Observera att sista ansökningsdag har passerat.