Postdoktor inom kompilatorteknik med kombinatorisk optimering

KTH svarar för en tredjedel av Sveriges kapacitet av teknisk forskning och ingenjörsutbildning på högskolenivå. Utbildningen och forskningen täcker ett brett område – från naturvetenskap till alla grenar inom tekniken samt arkitektur, industriell ekonomi och samhällsplanering. Totalt finns vid KTH 12 400 helårsstudenter på grundnivå och avancerad nivå, nästan 1900 aktiva forskarstuderande och 5100 anställda.

KTH 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

Positionen fokuserar på hur kombinatoriska optimeringstekniker kan tillämpas på kompilering av program.

Kandidaten förväntas bidra till Unisonprojektet(http://www.gecode.org/~schulte/projects/unison.html), som leds av Professor Christian Schulte (https://www.kth.se/profile/cschulte/) som framgångsrikt tillämpar villkorsprogrammering vid kodgenerering inom kompilatorteknik, samt inom forskningsområdet tidsmedvetna system, som leds av Universitetslektor David Broman(https://www.kth.se/profile/dbro/).

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

Kvalifikationer

Doktorsexamen inom datavetenskap eller datateknik. En stark publikationslista är ett krav.

Det är speciellt viktigt att påvisa demonstrerad kunskap inom kompilatorteknik, programspråk eller tidsmedvetna system tillsammans med demonstrerad kunskap inom kombinatorisk optimering (t.ex. villkorsprogrammering, SAT, SMT eller linjärprogrammering).

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

Typ av anställning: 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.