Doktorand i teoretisk datavetenskap (algoritmer och komplexitet)

Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio / Matematikerjobb / Stockholm
2013-02-17
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand i teoretisk datavetenskap (algoritmer och komplexitet)" (publicerad 2013-12-08) ⬅️

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/csc

Publiceringsdatum
2013-02-17

Arbetsuppgifter
KTH Skolan för datavetenskap och kommunikation (CSC) söker en doktorand i teoretisk datavetenskap till forskningsprojektet "Trading Time for Approximation in Optimization" inom områdena approximationsalgoritmer och exakta algoritmer.

Forskargruppen i teoretisk datavetenskap (www.csc.kth.se/tcs) på CSC erbjuder en stark forskningsmiljö med ett brett spektrum av forskning inom ämnen som till exempel komplexitetsteori och approximationsalgoritmer, data- och nätverkssäkerhet, kryptografi och formella metoder. 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.

Många centrala beräkningsproblem är NP-svåra, vilket innebär att det är mycket osannolikt att dessa problem kan lösas inom rimlig tid med hjälp av datorkraft. Studier av approximationsalgoritmer undersöker i vilken utsträckning dessa problem blir enklare att lösa om vi släpper efter på målet att hitta den bästa lösningen, och istället bara söker efter en lösning som är inom en viss felmarginal, säg 42%, från den bästa lösningen. För många fundamentala problem som t.ex. Max 3-Sat, Max Clique, och Max Cut vet vi nu precis hur väl de kan approximeras i polynomiell tid.

Ett annat angreppssätt är att konstruera snabbare exakta algoritmer för dessa problem. Även om dessa troligtvis kräver exponentiell tid kan den precisa exponentiella tillväxten ha stor inverkan på hur stora probleminstanser som kan lösas. De senaste åren har förbättrade algoritmer upptäckts för många fundamentala problem som 3-Sat, graffärgning, och hamiltonska cykler.

Man kan se approximationsalgoritmer och exakta algoritmer som två diametralt motsatta sätt att övervinna de NP-svåra problemens ofoglighet. Detta projekt ämnar överbrygga detta gap, och studera i vilken utsträckning man kan hitta en gyllene medelväg. Målet är att undersöka algoritmer som är betydligt snabbare än de bästa exakta algoritmerna, och som ger bättre approximativa lösningar än de bästa approximationsalgoritmerna.
Projektet leds av Per Austrin (www.csc.kth.se/~austrin) och finansieras av ett projektanslag från Vetenskapsrådet.

Kvalifikationer
Lämplig bakgrund för tjänsten är t.ex. en civilingenjörsexamen inom datavetenskap eller teknisk fysik eller en masterexamen i matematik. Den blivande doktoranden förväntas ha en stark bakgrund inom och ett brinnande intresse för teoretisk datavetenskap (inom t.ex. algoritmer och komplexitetsteori eller närliggande områden) och matematik (gärna kombinatorik och diskret analys). Exceptionella kandidater är alltid av intresse oavsett formella förkunskaper. Problemlösnings-förmåga och kreativitet är ett måste. Praktisk programmeringsskicklighet är ett plus.

Sökande skall vara starkt motiverad för forskarstudier, ha förmåga till självständigt arbete och kritisk analys samt god samarbets- och kommunikationsförmåga. Mycket goda kunskaper i att uttrycka sig på engelska i tal och skrift är en förutsättning för att kunna medverka i projektets internationella samarbeten och för att publicera och presentera forskningsresultat i internationella konferenser och tidskrifter.

Arbetstider och omfattning
Heltid. Tidsbegränsad anställning, tillträde: Tjänsten avser en fyraårig tidsbegränsad plats, men kan vid max 20 % institutionstjänstgöring, vanligtvis undervisning, förlängas ytterligare ett år. Forskarstuderande ska vara inskriven vid KTH. Startdatum är öppet för diskussion men vi ser helst att tjänsten tillsätts ungefär i slutet av sommaren 2013.

Ersättning
Lön enligt avtal för doktorandanställning

Så ansöker du
Sista dag att ansöka är 2013-03-15
Ansökan skickas till:
KTH CSC Att: Camilla Johansson,
Lindstedtsvägen 3, plan 4
100 44 Stockholm
Vid ansökan via e-post, skriv in referensnummer i ärenderutan. Ansökan inklusive bilagor ska skickas i pdf-format.
Ansökan ska innefatta följande handlingar:
1. Curriculum vitae.
2. Betygsavskrift från högskola/universitet.
3. Kortfattad redogörelse varför den sökande vill ägna sig åt forskarstudier, inklusive en beskrivning av sökanden med kvalifikationer och intressen.
4. I förekommande fall kopior av sökandens examensarbete och eventuella vetenskapliga publikationer.
5. Namn och adress för upp till tre referenser.
Observera att alla handlingar ovan skall vara på engelska förutom officiella dokument, som även kan vara på svenska.
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-0090
Ansökan kan skickas till e-postadress: jobs@csc.kth.se

Kontakt
Eva-Lena Åkerman, Personalansvarig 08-790 9106 ela@csc.kth.se
Per, Austrin 08 790 62 86 austrin@kth.se

Facklig kontakt
Lars Abrahamsson, SACO 08-790 70 58 lars.abrahamsson@ee.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
1469306

Observera att sista ansökningsdag har passerat.

Doktorand i teoretisk datavetenskap (algoritmer och komplexitet)

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