Doktorand i kryptografi

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
KTH Datavetenskap och kommunikation (CSC) söker en doktorand i kryptografi att vara verksam i gruppen för teoretisk datalogi. Gruppen för teoretisk datalogi vid KTH CSC erbjuder en stark forskningsmiljö som täcker ett brett spektrum av specialiseringar innefattande komplexitetsteori och approximationsalgoritmer, data och nätverkssäkerhet, kryptografi, formella metoder och automatisk behandling av naturligt språk. Gruppen publicerar regelbundet såväl på ledande internationalla konfernser inom teoretisk datologi som i de främsta tidskrifterna. Medlemmar i gruppen har även nyligen mottaget flera framstående internationella priser (Gödelpriser, Ackermannpriset) samt betydande forskningsanslag.

I varje ögonblick exekveras miljontals transaktioner på Internet, alltifrån bank, försäkrings och medicinska transaktioner till on-line handel, auktioner och röstning. Nästan undantagslöst innehåller dessa personlig information och därmed är det vitalt att undvika att information hamnar i orätta händer eller att den personliga integriteten kränks. Då en merpart av dessa transaktioner äger rum mellan parter som är tidigare okända för varandra och därmed inte kan baseras på tillit används ofta en betrodd aktoritet. Existensen av denna betrodda tredje part leder ibland till vanskliga konstruktioner och kryptografi håller nyckeln till att lösa problemen på ett mer robust sätt.

Målet för projekt är att utveckla nya metoder för att parter som inte ömsesidigt litar på varandra ska kunna interagera utan att riskera säkerhet eller personlig integritet. Av särskilt intresse är metoder för att säkert utsourca beräkningar, metoder för storskaliga distribuerade beräkningar och metoder för att obfuskera programkod. Tjänsten kommer handledas av Douglas Wikström och Johan Håstad (KTH), samt Rafael Pass (Cornell University, KTH). Den anställde förväntas spendare tid båda vid KTH i Stockholm samt vid Cornell NYC Tech Campus i New York City.

KVALIFIKATIONER
Lämplig bakgrund för tjänsten är civilingenjörsexamen eller motsvarande inom datavetenskap, teknisk fysik eller liknande med goda kunskaper i matematik. En stark bakgrund i och ett brinnande intresse för teoretisk datalogi, tex i algoritm eller komplexitetsteori förväntas. Exceptionella kandidater är alltid av intresse oberoende av formell bakgrund. God problemlösningsförmåga är en förutsättning för tjänsten.

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.