Två doktorander inom modelleringsspråk, kompilatorer och maskini

Kungliga Tekniska Högskolan / Administratörsjobb (offentlig verksamhet) / Stockholm
Observera att sista ansökningsdag har passerat.

Visa alla administratörsjobb (offentlig verksamhet) i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska Högskolan i Stockholm, Solna, Huddinge, Sollentuna, Södertälje 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.

Skolan för informations- och kommunikationsteknik bedriver internationellt framstående forskning och utbildning inom elektronik, programvaru- och datorsystem samt kommunikationssystem. Skolans forskning omfattar både grundläggande och tillämpade projekt samt innehåller betydande inslag av innovativ och entreprenöriell verksamhet. Utbildningsutbudet är brett och omfattar kandidat- och högskoleingenjörsprogram, civilingenjörsprogram, masterutbildningar samt doktorsprogram. Skolan för informations- och kommunikationsteknik har ett nära samarbete med svensk och internationell industri, forskningsinstitut samt intresseorganisationer som Kista Science City.

Publiceringsdatum
2017-02-23

Dina arbetsuppgifter
Doktorandpositionerna fokuserar på kombinationen av programmering/modelleringsspråk, kompilatorer och maskininlärning.

Betoning ligger på design och teori av domänspecifika modelleringsspråk, samt utveckling av självlärande modellkompilatorer för effektiv exekvering. Positionerna innefattar heterogena aspekter av modellformalismer (komposition och interaktion mellan olika formalismer), samt kompilering till heterogena plattformar (både för offlineberäkningar i klustermiljöer och online för realtidssystem). Statistiska lärandemetoder kommer vara ett centralt tema, både för domänspecifik språkdesign och vid kompilatorkonstruktion. Doktoranderna är anställd vid KTH i Kista, vid avdelningen för programvaruteknik och datorsystem. Doktoranderna kommer att vara en del av forskningsgruppen Modellbaserade Beräkningssystem (MCS), samt handledas av Universitetslektor/Docent (Associate Professor) David Broman. Vid sidan av forskarstudierna förväntas studenterna arbeta upp till 20% av arbetstiden med andra arbetsuppgifter inom avdelningen, som exempelvis undervisning.

Kvalifikationer
För att antas till forskarutbildning ska den sökande ha avlagt en Mastersexamen eller motsvarande som uppfyller antagningskraven för forskarutbildning på KTH. Den ideala kandidaten har en solid datavetenskaplig bakgrund med mycket goda matematik- och programmeringskunskaper. Erfarenhet inom minst ett av följande områden är en fördel: matematisk modellering, statistisk maskininlärning, kompilatorer, algoritmer och programmeringsspråk. Utöver tekniska och matematiska förmågor förväntas den sökande vara nyfiken och ambitiös, samt mycket motiverad att arbeta med forskning. Den sökande ska ha ett strukturerat arbetssätt och kunna arbeta både individuellt och i grupp. Mycket god kommunikationsförmåga i engelska, både skriftligt och muntligt, är ett krav.

Fackliga representanter

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

Så ansöker du
Ansökan ska skickas på engelska och måste innehålla följande dokument:

- Följebrev: en sammanfattning av ansökan på en sida.
- CV: ett dokument på upp till fyra (4) sidor innehållande alla dina relevanta akademiska, professionella och andra prestationer, din erfarenhet och kunskap
- Betyg och examina: officiella dokument från dina tidigare utbildningar på universitetsnivå, med auktoriserade översättningar på engelska (om de inte utställdes på engelska av den utfärdande institutionen).
- Rekommendationsbrev: Vänligen skicka minst två (2) rekommendationsbrev tillsammans med din ansökan. Vänligen inkludera även detaljerad kontaktinformation för minst två (2) referenspersoner (inklusive de två som lämnar referensbrev).
- Ansökningsbrev: Vänligen ange varför du vill fullfölja en doktorsexamen, vilka är dina akademiska intressen, hur de förhåller sig till dina tidigare studier och framtida mål. Maximalt två (2) sidor långt.
- Relevanta publikationer eller tekniska rapporter: Ange upp till två (2) dokument, inte längre än tio (10) sidor varje. För längre dokument (t.ex. avhandlingar), bifoga en sammanfattning (abstract) och en webblänk till den fullständiga texten.

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.

Anställningen är tidsbegränsad enligt rekommendationerna för doktorandanställning i Högskoleförordningen (~ 4 år vid fulltidsstudier).

Varaktighet, arbetstid
100 %. Tillträde: Enligt överenskommelse, helst snarast möjligt Visstidsanställning

Ersättning
Månadslön enligt KTH:s avtal för doktorandlöner

Så ansöker du
Sista dag att ansöka är 2017-04-30
Ange följande referens när du ansöker: I-2017-0088
Klicka på denna länk för att göra din ansökan

Kontakt
David Broman, Universitetslektor/Docent dbro@kth.se
Susanne Collberg, Personaladministratör rekrytering@ict.kth.se

Företag
Kungliga Tekniska högskolan

Adress
Kungliga Tekniska högskolan
Kistagången 16
16440 Kista

Kontorsadress
Kistagången 16

Jobbnummer
3336677

Observera att sista ansökningsdag har passerat.

Två doktorander inom modelleringsspråk, kompilatorer och maskini

Prenumerera på jobb från Kungliga Tekniska Högskolan