Doktorand inom datavetenskap: Inbyggda system, simulering och te

Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio / Datajobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio

Visa alla datajobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio i Stockholm

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 .

Publiceringsdatum
2014-04-17

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.

Arbetstider och omfattning
Heltid. Tidsbegränsad anställning, tillträde: Tillträde enligt överenskommelse. Vi ser gärna att tjänsten tillsätts så snart som möjligt.

Ersättning
Månadslön Lön enligt KTH:s doktorandstege.

Så ansöker du
Sista dag att ansöka är 2014-05-20
Ansökan skickas till:
Att: Camilla Johansson, KTH, CSC
Lindstedtsvägen 3, plan 4
100 44 Stockholm
Vid ansökan via e-post, ange referensnummer i ärenderaden. Ansökan inklusive bilagor ska skickas i opackade PDF-format. Vid ansökan via post, skriv referensnumret på kuvertet. Vi ser helst ansökan per e-post.
Ansökan ska innehålla följande handlingar:
1. Fullständigt CV som klart redogör för alla kunskaper och erfarenheter som är relevanta för det här projektet, det vill säga kurser, projekt, publikationer, arbetslivserfarenhet, etc.
2. Betygskopior från högskola/universitet.
3. Kort beskrivning av personliga mål och motivation för att gå med det här projektet. (Inte mer än en sida).
4. Namn och e-postadresser till två professionella personer som är villiga att ge en referens, t.ex. chef, projekthandledare, handledare mm.
Observera att allt material måste vara på engelska förutom officiella dokument.
Ange följande referens när du ansöker: D-2014-0196
Ansökan kan skickas till e-postadress: applications3@csc.kth.se

Kontakt
Maria Widlund,, HR-Chef mwidlund@kth.se
Karl Meinke, Professor 08-790 63 37 karlm@csc.kth.se

Facklig kontakt
Lars Abrahamsson, SACO 08-790 70 58 lars.abrahamsson@ee.kth.se

Företag
Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation

Adress
Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation
Valhallavägen 79
10044 Stockholm

Jobbnummer
1845510

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio: