Postdoktorer i teoretisk datavetenskap

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.

För mer information om skolan för datavetenskap och kommunikation, besök www.kth.se/csc.



Avdelningsinformation

Forskargruppen i teoretisk datavetenskap söker upp till fyra postdoktorala forskare i teoretisk datavetenskap.

Teorigruppen på skolan för datavetenskap (www.csc.kth.se/tcs) erbjuder en stark forskningsmiljö med ett brett spektrum av forskning inom ämnen som till exempel komplexitetsteori och approximationsalgoritmer, data- och nätverkssäkerhet, kryptografi, formella metoder och språkteknologi. Vi har en av Europas främsta forskargrupper inom algoritmer och beräkningskomplexitet, och forskningen här har genererat ett antal internationella utmärkelser och stora forskningsanslag på senare år.

Arbetsuppgifter

Postdok-tjänsterna är inom beräkningskomplexitet med ett fokus på frågor i gränslandet mellan approximationsalgoritmer, subexponentiella algoritmer, och beviskomplexitet. Exempel på frågor av särskilt intresse är användandet av linjär eller semidefinit programmering för att lösa svåra kombinatoriska problem, eller av beviskomplexitet för att bevisa att sådana metoder inte kan rå på problemen. I den senaste forskningen har den så kallade kvadratsummemetoden (sums of squares) visat sig vara ett genomgående tema för den här typen av frågor, och ett mål med forskningen inom projektet kommer att vara att bygga vidare på detta. Vi kommer emellertid också fritt att utforska andra metoder som kan tänkas vara användbara för att attackera dessa eller andra problem av intresse inom algoritmer och komplexitetsteori.

Forskningsprojektet leds av Johan Håstad, Per Austrin och Jakob Nordström, och finansieras av anslag från Knut and Alice Wallenbergs stiftelse, European Research Council och Vetenskapsrådet.

Utöver projektledarna kommer forskningsprojektet även att involvera totalt 4-5 postdok-forskare och 5-7 doktorander. Detta kommer därmed att vara en unik möjlighet att utforska nya samband mellan olika delområden inom beräkningskomplexitet i en dynamiskt växande forskningsmiljö.

Inom ramen för beskrivningen ovan förväntas och uppmuntras postdok-forskarna bidra till och påverka projektets utveckling. Undervisning i kurser på doktorandnivå uppmuntras men utgör inte något krav. Finansiering för resor ingår i tjänsten, och gruppen har också korttids- och långtidsbesökare utifrån på regelbunden basis.

Dessa tjänster är heltidstjänster på ett år med möjlighet till förlängning ytterligare ett år. Förväntat startdatum är augusti-september 2017, även om detta till viss del är förhandlingsbart.

Kvalifikationer

Sökande ska ha eller stå i begrepp att få en doktorsexamen inom ett ämne som är relevant för forskningsområdet och behöver vara passionerat intresserade av forskning. Den blivande postdok-forskaren förväntas ha en stark bakgrund inom teoretisk datavetenskap och matematik, och bör ha forskningsmeriter i form av publikationer i konferenser som STOC, FOCS, SODA, CCC eller liknande, eller i tidskrifter av motsvarande kvalitet.

Fackliga representanter

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

Ansökan

Ansökan skall omfatta följande dokument:

- Curriculum vitae.
- Publikationslista.
- Kort forskningsbeskrivning (research statement) med redogörelse för din forskning såhär långt och forskningsplaner och -intressen framöver.
- Kopia av doktorsexamen (i förekommande fall).
- Namn och adress till tre eller fler referenspersoner som kommer att skriva rekommendationsbrev.
(Observera att alla handlingar ovan skall vara på engelska, förutom officiella dokument som även kan vara på svenska.)

Referenspersoner ska skicka in sina rekommendationsbrev direkt till apc@csc.kth.se före sista ansökningsdatum. Vänligen ange referensnummer D-2016-0871 på ämnesraden.

Du ansöker via KTH:s rekryteringssystem, länk finner du längst ner på sidan. 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.