Doktorand inom datavetenskap: Inbyggda system, simulering och testning

KTH svarar för en tredjedel av Sveriges kapacitet av teknisk forskning och ingenjörsutbildning på högskolenivå. Utbildningen och forskningen täcker ett brett område – från naturvetenskap till alla grenar inom tekniken samt arkitektur, industriell ekonomi och samhällsplanering. Totalt finns vid KTH nästan 11 500 studenter på grundnivå och avancerad nivå och nästan 1900 forskarstuderande. KTH har 4900 anställda.

Skolan för datavetenskap och kommunikation är en av Sveriges mest framstående forsknings- och undervisningsmiljöer inom informationsteknologi med verksamhet på KTH och delvis även på Stockholms universitet.

Vi bedriver utbildning och forskning inom både teoretisk och tillämpad datalogi.

Den teoretiska datalogin sträcker sig från teoribildning och analys av matematiska modeller via algoritmutveckling till implementation och simulering.

Den tillämpade datalogiska forskningen och utbildningen omfattar datorseende, robotik, maskininlärning, högprestandaberäkningar, visualisering, beräkningsbiologi, neuroinformatik och neurala nätverk, samt tal- och musikkommunikation. Dessutom bedrivs tillämpad forskning och utbildning inom medieteknik, människa-datorinteraktion, interaktionsdesign och hållbar utveckling. ?

Mer information om Skolan för datavetenskap och kommunikation finns på www.kth.se/csc.

ARBETSUPPGIFTER
Studenten kommer att bedriva forskning inom ramen för ett nytt treårigt Vinnova finansierade forskningsprojektet "VIRTUE : Virtualiserade inbyggda system för testning och utveckling". Detta är gemensam forskning med fordonstillverkaren Scania AB. Vårt mål är att undersöka nya avancerade metoder för att testa fordonsindustrins inbyggd programvara. Studenten förväntas ha ett nära samarbete med Scanias forskare och ingenjörer. Ett mål är att ersätta hardware-in- the-loop -testning med en virtuell fullständig systemsimulering som kan stödja massivt parallell testning. Andra forskningsproblem inkluderar automatiserade testfalls generering från precisa användarkrav med hjälp av model-checking och maskininlärning (AI) metoder. Ytterligare projektinformation finns på www.csc.kth.se/~karlm/virtues/

Studenten kommer att ingå i teoretisk datalogi (TCS) forskargrupp inom CSC skolan. Denna grupp har ett starkt internationellt rykte inom områden som komplexitetsteori, formella metoder, system för säkerhet och testning av programvara.

Tjänsten avser en fyraårig tidsbegränsad plats, men kan vid max 20 % institutionstjänstgöring, vanligtvis undervisning, förlängas ytterligare ett år. Forskarstuderande ska vara inskriven vid KTH. Vi ser gärna att tjänsten tillsätts så snart som möjligt.


KVALIFIKATIONER
En lämplig bakgrund för tjänsten skulle vara en Master of Science i antingen (i) Datavetenskap, (ii) Programvaruteknik eller (iii) Inbyggda system. Goda kunskaper i programmering är nödvändigt. Relevanta inriktningar i ett eller flera av följande områden är önskvärda: krav modellering, model-checking, maskininlärning, inbyggda system, testning av programvara eller system simulering. Bevis på erfarenhet och engagemang i något av dessa områden, som till exempel omfattande projektarbete, skulle också vara en fördel. Förutom de traditionella akademiska meriter, internationell erfarenhet och utmärkta muntliga och skriftliga kunskaper i engelska betraktas också som en fördel (t.ex. TOEFL eller IELTS examina).

Sökande skall vara starkt motiverad för forskarstudier, ha förmåga till självständigt arbete och kritisk analys samt god samarbets- och kommunikationsförmåga.