Två doktorander inom modelleringsspråk, kompilatorer och maskininlärning

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.



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. 

Ansökan

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

Övrigt

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