Doktorand i Hypervisorbaserad säkerhet Job in Stockholm 10044, Stockholm Sweden
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.
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.
ANSTÄLLNINGENS OMFATTNING
Anställningsform: Tillsvidareanställning, tillträde: Tillträde enligt överenskommelse. Startdatum är öppet men vi ser att tjänsten tillsätts så snart som möjligt.
Omfattning: Heltid.
ANSÖKAN
Ansök senast: 2011-12-12
Referensnummer: D-2011-0502
Du kan söka detta jobb genom:
Via e-post: Susanne Bergman susanneb@csc.kth.se
Via post: KTH/CSC Att: Susanne Bergman, Lindstedtsvägen 3 100 44 Stockholm
LÖN
Lön enligt KTHs doktorandstege.
ANSTÄLLNING
Antal annonserade arbetstillfällen: 1 plats(er)
KONTAKTPERSONER
Eva-Lena Åkerman
Personalansvarig
08-790 91 06
ela@csc.kth.se
Mads Dam
docent
08-790 62 29
mfd@kth.se
Lars Abrahamsson (facklig)
SACO
08-790 70 58
lars.abrahamsson@ee.kth.se
ÖVRIGT
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?
www.kth.se