Doktorand i teoretisk datavetenskap

Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio / Datajobb / Stockholm
2013-04-14
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand i teoretisk datavetenskap" (publicerad 2014-02-16) ⬅️

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

Arbetsuppgifter
KTH Skolan för datavetenskap och kommunikation (CSC) söker en doktorand i teoretisk datavetenskap med inriktning mot beviskomplexitet med kopplingar till SAT-lösning.

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, 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.

Vi söker en doktorand i teoretisk datavetenskap till forskningsprojektet "Understanding the Hardness of Theorem Proving" inom området beviskomplexitet med kopplingar till SAT-lösning.

Att bevisa formler i satslogik är ett problem av stor betydelse såväl teoretiskt som praktiskt. Å ena sidan tror man att det är praktiskt ogörbart att lösa med dator inom rimlig tid i värsta fallet, men att visa (eller motbevisa) att så är fallet är en av de stora öppna frågorna inom teoretisk datavetenskap och matematik. (Detta är ett av de berömda Millennieproblemen, känt som problemet om P vs. NP). Å andra sidan så används idag s.k. SAT-lösare rutinmässigt för att lösa storskaliga tillämpade probleminstanser med hundratusentals eller till och med miljontals variabler. Förståelsen av för vilka formler SAT-lösare är effektiva eller inte, och vilka egenskaper hos formlerna som avgör detta, är mycket begränsad.

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. Vi vill förstå vad som gör formler enkla eller svåra i praktiken genom en kombination av teoretiska studier och praktiska experiment, och även belysa andra frågor rörande SAT-lösare som har avgörande praktisk betydelse men där den teoretiska förståelsen är bristfällig. En forskningsinriktning som vi är s

Kvalifikationer
För behörighet krävs mastersexamen eller fyraårig kandidatexamen med ett års kurser på avancerad nivå. En lämplig bakgrund är t.ex. en civilingenjörsexamen inom (teoretiskt inriktad) 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. komplexitetsteori eller närliggande områden) och matematik (gärna kombinatorik och algebra). Problemlösningsförmåga och kreativitet är ett måste. Praktisk programmeringsskicklighet är ett stort plus eftersom en del av denna forskning kan komma att handla om att köra storskaliga datorexperiment och utveckla nya programprototyper för SAT-lösning.

Sökanden skall vara starkt motiverad för forskarstudier, ha förmåga till självständigt arbete och kritisk analys samt ha 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. Önskat startdatum är senast i augusti 2013 men är i viss mån förhandlingsbart.

Ersättning
Lön enligt KTHs doktorandstege.

Så ansöker du
Sista 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
KTH tillämpar provtjänstgöring. Vid ansökan via e-post, ange referensnummer i ärenderaden. Ansökan inklusive bilagor ska skickas i PDF-format. Vid ansökan via post, skriv ärendenumret på kuvertet.
Ansökan ska omfatta 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 (på masters- eller kandidatnivå) och eventuella vetenskapliga publikationer.
5. Namn och adress för 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-0301
Ansökan kan skickas till e-postadress: jobs@csc.kth.se

Kontakt
Maria Widlund, Personalansvarig mwidlund@kth.se
Jakob Nordström, Bitr Universitetslektor 08-790 69 19 jakobn@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
1521494

Observera att sista ansökningsdag har passerat.

Doktorand i teoretisk datavetenskap

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