Doktorand i Hypervisorbaserad säkerhet

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

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 15000 studenter på grundnivå och avancerad nivå och över 1600 forskarstuderande. KTH har nästan 4300 anställda.
KTH Datavetenskap och kommunikation är en av Sveriges mest framstående forsknings- och undervisningsinstitutioner inom informationsteknologi med verksamhet på både KTH och Stockholms universitet. Verksamheten omfattar utbildning och forskning inom datavetenskapens traditionella kärnområden numerisk analys och datalogi; från teoribildning och analys av matematiska modeller via algoritmutveckling till datorimplementering och simulering.
Teknik och metoder för stöd av mänsklig kommunikation och datorstödd samverkan är andra kärnområden med växande betydelse. Den tillämpade forskningen behandlar beräkningsvetenskap, datalogi, datorseende, robotik, neuroinformatik och neurala nätverk, människa-datorinteraktion, medieteknik samt tal- och musikkommunikation. Mer information om CSC finns på www.kth.se/csc.
Avdelningen för teoretisk datalogi erbjuder en stark forskningsmiljö med bland annat 5 professorer och ett brett spektrum av forskning inom teoretisk datalogi samt närliggande områden., inklusive approximeringsalgoritmer, säkerhet, formella metoder, distribuerade och nätverksbaserade system, språkteknologi, samt kryptografi.

Publiceringsdatum
2011-11-13

Arbetsuppgifter
En hypervisor är en mjukvara som körs direkt på hårdvaran på den mest priviligierade exekveringsnivån, och kapslar in övrig mjukvara så som operativsystem genom virtualisering av resurser. Med hjälp av hårdvaruskyddsmekanismerna som finns tillgängliga på de flesta plattformar kan hypervisorn tillhandahålla en säker isolerings- och monitoreringstjänst för gästsystem och dess applikationer. Detta är mycket värdefullt för säkerhetskritiska inbäddade system eftersom det tillåter betrodda och icke-betrodda applikationer att dela på en och samma hårdvara utan att störa varandra. Hypervisorn utgör även en bas för säker implementation av betrodda säkerhetstjänster så som krypteringslösningar eller till och med en mjukvarubaserad SIM i exekveringsplattformen för inbäddade system.
Målet för detta projekt är att utveckla formella modeller för hypervisorn samt för den underliggande hårdvaran. Detta utförs inom ramarna för ett modellerings- och verifieringsramverk för hypervisorbaserad säkerhet för inbäddade system. Modellerna kommer senare att användas för olika typer av säkerhetsanalyser, så som integritet av hypervisormjukvaran själv och av gästsystemen samt informationsflödesisolering mellan gästsystemen. Verktygsstöd för definiering och manipulering av modellerna samt de olika analyserna kommer tillhandahållas genom verktygsuppsättningen som utvecklas under projektet.
Projektet leds av professor Mads Dam (www.csc.kth.se/~mfd) och docent Dilian Gurov (www.csc.kth.se/~dilian) och involverar interaktion med PROSPER projektet (www.sics.se/projects/prosper) som är finansierat av Stiftelsen för Strategisk Forskning.
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. Startdatum är öppet för diskussion men vi ser gärna att tjänsten tillsätts så snart som möjligt.

Kvalifikationer
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. Den sökande förväntas ha en stark bakgrund och ett brinnande intresse för områden inom datalogi, såsom programlogik, teorembevisning, systemsäkerhet och programanalys. Intresse för verifiering av maskinnära program samt processorarkitektur är ett särskilt plus.

Arbetstider och omfattning
Heltid. Tillsvidareanställning, tillträde: Tillträde enligt överenskommelse. Startdatum är öppet men vi ser att tjänsten tillsätts så snart som möjligt.

Ersättning
Lön enligt KTHs doktorandstege.

Så ansöker du
Sista dag att ansöka är 2011-12-12
Ansökan skickas till:
KTH/CSC
Att: Susanne Bergman, Lindstedtsvägen 3
100 44 Stockholm
Vid ansökan via e-post skriv in referensnummer i ärenderutan. Ansökan inklusive bilagor ska skickas i pdf-formatg. Ansökan via post skriv ärendenummer på kuvertet.
Ansökan ska innehålla ett brev där sökanden beskriver sig, sina kvalifikationer och intressen. Den ska också innehålla ett CV, betygsutdrag, kopior av sökandens examensarbete och eventuella publikationer, samt namn och adress till tre referenser. Sökande som är nära examen är också välkomna att söka.
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-2011-0502
Ansökan kan skickas till e-postadress: susanneb@csc.kth.se

Kontakt
Eva-Lena Åkerman, 08-790 91 06, ela@csc.kth.se
Mads Dam, 08-790 62 29, mfd@kth.se

Facklig kontakt
Lars Abrahamsson, 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
1078527

Observera att sista ansökningsdag har passerat.

Doktorand i Hypervisorbaserad säkerhet

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