Postdoktor inom programmeringsspråksteori, semantik och kompilat

Kungliga Tekniska högskolan, / Sjukgymnastjobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska högskolan,

Visa alla sjukgymnastjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska högskolan, i Stockholm, Solna, Huddinge 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.




Publiceringsdatum
2018-05-29

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

Så ansöker du
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).

Övrig information
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.

Varaktighet, arbetstid
100 %. Tillträde: Enligt överenskommelse Visstidsanställning

Ersättning
Månadslön

Så ansöker du
Sista dag att ansöka är 2018-06-15
Ange följande referens när du ansöker: J-2018-1243
Klicka på denna länk för att göra din ansökan

Kontakt
David Broman, / Universitetslektor, Docent +46 (0) 8-790 4274 / dbro@kth.se

Företag
Kungliga Tekniska högskolan,

Adress
Kungliga Tekniska högskolan,
Brinellvägen 8
10044 Stockholm

Kontorsadress
Brinellvägen 8

Jobbnummer
4172947

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska högskolan,

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