Doktorand inom programmeringsspråk och statistisk 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 materialfysik, fotonik/optik, elektroniksystem, integrerade komponenter och kretsar samt kommunikationssystem. Vår forskning omfattar både grundläggande och tillämpade projekt samt innehåller betydande inslag av innovativ och entreprenöriell verksamhet. Vårt utbildningsutbud är brett och omfattar kandidat- högskoleingenjörs- och civilingenjörsprogram, masterutbildningar samt doktorsprogram. Skolan har ett nära samarbete med svensk och internationell industri, forskningsinstitut samt intresseorganisationer som Kista Science City.



Arbetsuppgifter

Doktorandpositionen kommer att vara inriktad på en kombination av programspråksteori och statistisk maskininlärning.

Fokus ligger på design av nya domänspecifika modelleringsspråk och abstraktioner som möjliggör separation mellan statistiska modeller och slutledningsalgoritmer. Doktoranden kommer att vara involverad i ett större projekt och interagera med forskare från både KTH och Uppsala universitet. Doktoranden kommer att ingå i forskargruppen Model-based Computing Systems (MCS) och handledas av docent David Broman. Utöver forskarstudierna förväntas doktoranden att undervisa upp till 20 % av arbetstiden.

Kvalifikationer

Den sökande ska ha en masterexamen eller en examen som uppfyller behörighet för doktorandstudier vid KTH. Den ideala sökanden har mycket goda matematik- och programmeringskunskaper. Erfarenhet inom ett eller flera av följande områden är en fördel: matematisk modellering, statistisk maskininlärning, kompilatorer, algoritmer och programspråksteori. Utöver tekniska och matematiska förmågor förväntas den sökande vara en nyfiken och ambitiös person som är mycket motiverad att arbeta med forskning. Han eller hon ska vara van vid att arbeta på ett strukturerat sätt och kunna arbeta både individuellt och i grupp. 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

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.

Tidsbegränsad anställning enligt rekommendationerna för doktorandanställning i Högskoleförordningen (cirka 5 år inklusive 20% undervisning)