Kungliga Tekniska högskolan,

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, historia och filosofi.

Arbetsuppgifter

Positionen fokuserar på programmeringsspråksteori, formell semantik, typsystem och kompilatorer.  Kandidaten förväntas bidra till SSF projektet ”Heterogeneous Model Compilers for Uncertain Environments” https://people.kth.se/~dbro/hmc.html.

Kandidaten förväntas att undervisa upp till 20% av arbetstiden. 

Kvalifikationer

Sökanden ska ha avlagt doktorsexamen inom datavetenskap eller motsvarande senast sista ansökningsdag. Doktorsexamen ska ha avlagts högst tre år före sista ansökningsdag. Om det finns särskilda skäl kan doktorsexamen ha avlagts tidigare (t ex vid sjukdom, föräldraledighet m.fl.). Vidare är en stark publikationslista ett krav för tjänsten.

Det är speciellt viktigt att påvisa demonstrerad kunskap inom programmeringsspråksteori, med fokus på formell semantik och typer.

Dokumenterade bidrag av öppna källkodsprojekt är meriterande.

Fackliga representanter

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

Ansökan

Ansökan måste innehålla följande:

  • Detaljerat curriculum vitae

  • Publikationslista (specificera de viktigaste publikationerna och beskriv dina bidrag)
  • Ett motivationsbrev som beskriver din professionella erfarenhet, dina framtida planer, samt hur du ämnar bidra till ovan nämnda forskningsområden
  • Examensbevis och betygsutdrag från universitetsstudier

  • Två stycken aktuella rekommendationsbrev, vilka ska innehålla kontaktinformation till de som rekommenderar (epost och telefonnummer)

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

Tidsbegränsat ettårskontrakt, med möjlighet att utöka med ytterligare ett år.

Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.

Anställningsform Visstidsanställning längre än 6 månader
Anställningens omfattning Heltid
Tillträde Enligt överenskommelse
Löneform Månadslön
Antal lediga befattningar 1
Sysselsättningsgrad 100 %
Ort Kista
Län Stockholms län
Land Sverige
Referensnummer J-2018-1243
Kontakt
  • David Broman, / Universitetslektor, Docent, +46 (0) 8-790 4274 / dbro@kth.se
Publicerat 2018-05-29
Sista ansökningsdag 2018-06-15

Tillbaka till lediga jobb