Postdoktortjänst i teoretisk datavetenskap

Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio / Datajobb / Stockholm
Observera att sista ansökningsdag har passerat.

Visa alla datajobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio 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 mer än 15000 studenter på grundnivå och avancerad nivå och över 1600 forskarstuderande. KTH har nästan 4300 anställda.

KTH 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 teoretisk datalogi; från teoribildning och analys av matematiska modeller via algoritmutveckling till datorimplementering och simulering.
Den tillämpade datalogiska forskningen och utbildningen behandlar datorseende, robotik, maskininlärning, beräkningsbiologi, neuroinformatik och neurala nätverk,
även högprestandaberäkningar, visualisering 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

Publiceringsdatum
2012-11-12

Arbetsuppgifter
KTH Skolan för datavetenskap och kommunikation (CSC) söker en postdoktoral forskare i teoretisk datavetenskap inom ramen för forskningsprojektet "Understanding the Hardness of Theorem Proving." Detta är ett projekt inom beviskomplexitet med kopplingar till SAT-lösning.

Forskargruppen i teoretisk datavetenskap 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.

Inom beviskomplexitet studeras formella system för att resonera om logiska formler. Området har djupa kopplingar till grundläggande frågor inom komplexitetsteori, men motiveras också av kopplingen till SAT-lösning: alla SAT-algoritmer använder något slags metod eller system i vilket de söker efter bevis, och beviskomplexitet analyserar potentialen och begränsningarna hos sådana bevissystem (och därmed även i förlängningen även hos algoritmerna).

Detta projekt syftar till att bryta ny mark inom beviskomplexitet, och till att använda forskningsresultaten för att kasta ljus över frågor relaterade till SAT-lösning. En forskningsinriktning som vi är särskilt intresserade av är att utforska möjligheten att basera SAT-lösare på starkare bevissystem än vad som används idag. För att göra detta behöver vi dock förstå dessa bevissystem bättre, och här finns en rad välkända öppna problem inom beviskomplexitet som vi vill studera och försöka lösa. En mer detaljerad beskrivning av projektet (på engelska) finns på webbsidan www.csc.kth.se/~jakobn/project-proofcplx.

Projektet leds av Jakob Nordström (www.csc.kth.se/~jakobn). Forskningsgruppen består för närvarande (förutom projektledaren) av en postdoktoral forskare och två doktorander. Inom ramen för (de ganska allmänna) riktlinjerna ovan förväntas och uppmuntras postdok-forskaren bidra till och påverka projektets utveckling. Undervisning i någon kurs på doktorandnivå (inom beviskomplexitet eller angränsande områden) 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.

Kvalifikationer
Sökanden ska ha eller stå i begrepp att få en doktorsexamen inom ett ämne som är relevant för forskningsområdet, såsom datavetenskap/datalogi eller matematik (gärna med fokus på beviskomplexitet eller närliggande områden), och behöver vara passionerat intresserad av forskning. Den blivande postdok-forskaren förväntas ha en stark bakgrund inom teoretisk datavetenskap (beräkningskomplexitet) och matematik (t.ex. inom kombinatorik, algebra och/eller geometri). Exceptionella kandidater är alltid av intresse oavsett formella förkunskaper. Problemlösningsförmåga och kreativitet är ett måste.

Arbetstider och omfattning
Heltid. Tidsbegränsad anställning, tillträde: 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 2013, även om detta till viss del är förhandlingsbart.

Så ansöker du
Sista dag att ansöka är 2013-01-14
Ansökan skickas till:
KTH/CSC, Att: Susanne Bergman
Lindstedtsvägen 3
100 44 Stockholm
För att garantera att din ansökan behandlas behöver vi få den senast 14 januari 2013. Ansökningar kommer att tas emot tills tjänsten är tillsatt.
Ansökan skall omfatta följande dokument:
1. Curriculum vitae
2. Publikationslista
3. Kort research statement med en beskrivning av professionella intressen och forskningsmål
4. Kopia av doktorsexamen
5. 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 susanneb@csc.kth.se med kopia till jakobn@csc.kth.se före sista ansökningsdatum 14 januari 2013.
Som ett led för att förbättra vårt rekryteringsarbete genomför vi en undersökning. Vi vore därför tacksamma om du kunde svara på följande fråga i din ansökan: Var hittade du denna annons?
Ange följande referens när du ansöker: D-2012-0444
Ansökan kan skickas till e-postadress: jobs@csc.kth.se

Kontakt
Eva-Lena Åkerman, frågor om anställning på KTH, 08-790 91 06, ela@csc.kth.se
Jakob Nordström, 08-790 69 19, jakobn@kth.se

Facklig kontakt
David Spangenberg, 08-790 94 37, davidspa@kth.se
Niclas Carlsson, 08-790 84 16, nc@kth.se
Per-Ove Öster, perove@admin.kth.se

Företag
Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation

Adress
Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation
Valhallavägen 79
10044 Stockholm

Jobbnummer
1388769

Observera att sista ansökningsdag har passerat.

Postdoktortjänst i teoretisk datavetenskap

Prenumerera på jobb från Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio