Doktorandtjänst - autonoma nätverk

ARBETSUPPGIFTER <b>Doktorandtjänst med inriktning mot formella metoder för säkra autonoma nätverk</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> Projektet handlar om distribuerade algoritmer och protokoll för datainsamling i stora autonoma nätverk. Målet är att utveckla algoritmer, protokoll, och associerade analys- och bevistekniker med bevisbara prestanda, säkerhets, och korrekthetsegenskaper. Arbetet är del av ett samarbetsprojekt med Laboratoriet för Kommunikationsnät (LCN) vid Skolan för Elektro- och Systemteknik, KTH. En närmare beskrivning av forskningsprojektet finns på http://www.csc.kth.se/tcs/projects/autonomousnetworks.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, samt vara intresserad av logik och semantik, formella metoder, distribuerade algoritmer, datasäkerhet, och stokastiska processer. 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.