Doktorandtjänst - kryptografiska protokoll

ARBETSUPPGIFTER <b>Doktorandtjänst med inriktning mot kryptografiska protokoll</b> <i>Skolan för datavetenskap och kommunikation (CSC) på KTH utlyser en doktorandtjänst i teoretisk datalogi för ett projekt som handlar om formella metoder för säkra autonoma nätverk. CSC är en av Sveriges främsta forsknings- och undervisningsinstitutioner inom informationsteknologi. Vid sidan om datalogi är CSC aktiva inom beräkningsvetenskap, medieteknik, människa-datorinteraktion, talteknologi, musikakustik och språk på KTH och vid Stockholms Universitet. Avdelningen för teoretisk datalogi erbjuder en stark forskningsmiljö med bland annat 4 professorer och ett brett spektrum av forskning inom datalogins teoretiska delar.</i> Målet med projektet är att utveckla metoder för att konstruera och matematiskt bevisa säkerheten för kryptografiska protokoll och även i viss utsträckning implementera dessa. En närmare beskrivning av forskningsprojektet finns på http://www.csc.kth.se/tcs/projects/crypto.php. <b>Anställning</b> Doktorandtjänsten är för maximalt fem år med normalt inkluderat 20% institutionstjänstgöring (vanligtvis undervisning). Lönen följer en av CSC/KTH fastställd doktorandstege. Doktoranden kan vara inskriven på KTH eller vid Stockholms universitet. Tillträdesdag kan diskuteras. KVALIFIKATIONER Den sökande bör ha goda kunskaper inom matematik och datalogi, med betoning på algoritmer och komplexitet. KTH har höjt ambitionerna när det gäller mångsidig kompetensförsörjning och välkomnar därför sökande som kompletterar vår fakultet med avseende på jämställdhet och mångfald.