Doktorandtjänst - autonoma nätverk

Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio / Lärarjobb / Stockholm
Observera att sista ansökningsdag har passerat.


Visa alla lärarjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio i Stockholm

Publiceringsdatum
2008-04-11

Arbetsuppgifter
Doktorandtjänst med inriktning mot formella metoder för säkra autonoma nätverk
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.
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 .
Anställning
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.

Arbetstider och omfattning
Tidsbegränsad, tillträde: enligt ök

Så ansöker du
Sista dag att ansöka är 2008-05-16
Ansökan bör innehålla ett brev där den sökande beskriver sig själv, sina erfarenheter och intressen. En meritförteckning, kopior på relevanta betyg, kopior på rapport från examensarbete och/eller publikationer, och namn och adress till tre referenser, skall också bifogas. Även ansökningar från studenter som är på väg att avsluta sin civilingenjörsexamen eller motsvarande kommer behandlas.
Ansökan skickas till:
KTH CSC
att. Susanne Bergman
100 44 Stockholm
Ange följande referens när du ansöker: D-2007-0431
Ansökan kan skickas till e-postadress: susanneb@csc.kth.se

Kontakt
Eva-Lena Åkerman, 08-790 91 06, ela@csc.kth.se

Facklig kontakt
Rikard Lingström, 08-790 8292, rlm@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
190049

Observera att sista ansökningsdag har passerat.

                   

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

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio: