Postdoktortjänster inom teoretisk datavetenskap

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 mer än 14000 studenter på grundnivå och avancerad nivå och över 1700 forskarstuderande. KTH har nästan 4600 anställda.

Skolan för Datavetenskap och kommunikation är en av Sveriges mest framstående forsknings- och undervisningsmiljöer inom informationsteknologi med verksamhet på KTH och delvis även på Stockholms universitet. Vi bedriver utbildning och forskning inom både teoretisk och tillämpad datalogi. Den teoretiska datalogin sträcker sig från teoribildning och analys av matematiska modeller via algoritmutveckling till implementation och simulering.
Den tillämpade datalogiska forskningen och utbildningen omfattar datorseende, robotik, maskininlärning, högprestandaberäkningar, visualisering, beräkningsbiologi, neuroinformatik och neurala nätverk, samt tal- och musikkommunikation. Dessutom bedrivs tillämpad forskning och utbildning inom medieteknik, människa-datorinteraktion, interaktionsdesign och hållbar utveckling.
Mer information om CSC finns på www.kth.se/csc

ARBETSUPPGIFTER
Inom ramen för (den ganska allmänna) 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.

Forskningsprojektet finansieras av ett anslag för genombrottsforskning från Vetenskapsrådet och ett Starting Independent Researcher Grant från European Research Council. En mer detaljerad beskrivning av projektet (på engelska) finns på webbsidan www.csc.kth.se/~jakobn/project-proofcplx. Forskargruppen består för närvarande (förutom projektledaren) av en postdoktoral forskare och två doktorander.

Detta är en heltidstjänst på ett år med möjlighet till förlängning ytterligare ett år. Förväntat startdatum är senast augusti-september 2014, även om detta till viss del är förhandlingsbart.

Teorigruppen på KTH CSC (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. Vår forskning publiceras regelbundet i världsledande tidskrifter och konferenser, och gruppens medlemmar har fått ett antal internationella utmärkelser och stora forskningsanslag på senare år. Nu behöver vi växa ännu mer, och denna tjänst är bara en av flera nyrekryteringar inom gruppen.


KVALIFIKATIONER
Sökanden 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 intresserad av forskning. Exceptionella kandidater är alltid av intresse oavsett formella förkunskaper. Problemlösningsförmåga och kreativitet är ett måste.

De blivande postdok-forskarna förväntas ha en stark bakgrund inom teoretisk datavetenskap (beräkningskomplexitet och/eller algoritmer) och matematik (t.ex. inom kombinatorik, algebra och/eller geometri), vilken bör framgå genom publikationer i konferenser som STOC, FOCS, CCC, ICALP, SODA, SAT, CP, IJCAI eller liknande, eller i tidskrifter av motsvarande kvalitet.