Postdoktor inom teoretisk datavetenskap
Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio / Matematikerjobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla matematikerjobb 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/cscPubliceringsdatum2013-04-05ArbetsuppgifterKTH Skolan för datavetenskap och kommunikation (CSC) söker en postdoktor i teoretisk datavetenskap.
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.
Tjänsten finansieras av forskningsprojektet "Understanding the Hardness of Theorem Proving" inom beviskomplexitet med kopplingar till SAT-lösning, och mycket av projektgruppens verksamhet kretsar kring dessa områden. Men beviskomplexitet har också visat sig ha djupa, och ibland oväntade, kopplingar till andra områden som t.ex. kretskomplexitet, kommunikationskomplexitet och icke-approximation, och därför är också forskare inom dessa eller närliggande områden av intresse.
Projektet leds av Jakob Nordström (www.csc.kth.se/~jakobn) och 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. 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 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.
KvalifikationerSö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.
Den blivande postdok-forskaren 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, IJCAI eller liknande, eller i tidskrifter av motsvarande kvalitet.
Arbetstider och omfattningHeltid. 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. Tidsbegränsad anställning
Så ansöker duSista dag att ansöka är 2013-05-05
Ansökan skickas till:
KTH CSC Att: Camilla Johansson,
Lindstedtsvägen 3, plan 4
100 44 Stockholm
Vid ansökan via e-post, skriv referensnummer i ärenderaden. Ansökan inklusive bilagor ska skickas i PDF-format. Ansökningar kommer att tas emot tills tjänsten är tillsatt. Referenspersoner ska skicka in sina rekommendationsbrev direkt till
jobs@csc.kth.se med kopia till
jakobn@csc.kth.se . Vid ansökan via post, skriv referensnumret på kuvertet.
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 (i förekommande fall)
5. Namn och adress till tre eller fler referenspersoner som kommer att skriva rekommendationsbrev
(Observera att allt material skall vara på engelska förutom officiella dokument.)
Som ett led för att förbättra vårt rekryteringsarbete genomför vi en undersökning. Vi vill därför att du svarar på frågan i din ansökan: Var hittade du denna annons?
Ange följande referens när du ansöker: D-2013-0315
Ansökan kan skickas till e-postadress:
jobs@csc.kth.seKontaktMaria Widlund, Personalansvarig
mwidlund@kth.seJakob Nordström, Bitr Universitetslektor 08-790 69 19
jakobn@kth.seFacklig kontaktDavid Spangenberg, SACO 08-790 94 37
davidspa@kth.seNiclas Carlsson, ordf. ST 08-790 84 16
nc@kth.sePer-Ove Öster, LO/SEKO
perove@admin.kth.seFöretagKungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation
AdressKungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation
Valhallavägen 79
10044 Stockholm
Jobbnummer 1512758
Observera att sista ansökningsdag har passerat.