Postdoktor inom kompilatorteknik med kombinatorisk optimering

Kungliga Tekniska högskolan, KTH Informations- och kommunikation / Logistikjobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska högskolan, KTH Informations- och kommunikation

Visa alla logistikjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska högskolan, KTH Informations- och kommunikation i Stockholm

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.

Publiceringsdatum
2015-07-09

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

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

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

Varaktighet, arbetstid
100%. Tillträde: Enligt överenskommelse, helst snarast möjligt Visstidsanställning

Ersättning
Lön enligt överenskommelse och gängse nivå för postdoc

Så ansöker du
Sista dag att ansöka är 2015-10-31
Ange följande referens när du ansöker: I-2015-0573
Klicka på denna länk för att göra din ansökan

Kontakt
Christian Schulte, professor Telefonnummer: 08 - 790 4264, email: cschulte@kth.se
David Broman, universitetslektor tel: 08 - 790 4274, email: dbro@kth.se
Lisa Jonason, personalhandläggare email: rekrytering@ict.kth.se

Företag
Kungliga Tekniska högskolan, KTH Informations- och kommunikationsteknik

Adress
Kungliga Tekniska högskolan, KTH Informations- och kommunikationsteknik
Kistagången 16
16440 Kista

Kontorsadress
Kistagången 16

Jobbnummer
2345745

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska högskolan, KTH Informations- och kommunikation

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