Doktorand inom tillförlitliga inbyggda plattformar

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 12 400 helårsstudenter på grundnivå och avancerad nivå, nästan 1900 aktiva forskarstuderande och 5100 anställda.

För mer information om KTH Datavetenskap och kommunikation, www.kth.se/csc.



Avdelningsinformation

Tjänsten hör till avdelningen för teoretisk datalogi, TCS, www.

kth.se/csc/forskning/tcs. Avdelningen har ca 40 lärare, forskare, och doktorander, och bedriver forskning inom grundläggande ämnen som komplexitetsteori, logik och formella metoder, såväl som mer applikationsorienterade ämnen som datasäkerhet och kryptografi, programmeringsspråk, databaser, naturliga språk, och datadidaktik. Inom datasäkerhet bedriver TCS-gruppen aktiv forskning inom mjukvarusäkerhet och säkra exekveringsplattformar, nätverkssäkerhet och kryptografi, särskild elektronisk röstning.

Arbetsuppgifter

Tjänsten är en del av ett nytt center för kritisk infrastruktur, CERCES, som är under uppbyggnad på CSC- och EES-skolorna. Centrets fokus är säkerhet för industriella styr- och informationssystem. Centret fokuserar på styrsystem, kommunikationsnätverk, trådlös kommunikation, och verifikation av inbyggd mjukvara. I denna utlysning söker vi högt kvalificerade studerande som kan bidra till det senare området.

Den studerande kommer att bli en del av Prosper-gruppen; en forskningsgrupp ledd av prof. Mads Dam, med samarbetspartners på Swedish Institute of Computer Science, SICS, se prosper.sics.se och haspoc.sics.se för att ge exempel på aktuella projekt. Projektet som denna utlysning gäller rör utveckling av inbyggda mjukvaruplattformar, kärnor, hypervisors, och applikationer med mycket höga krav på säkerhet och tillförlitlighet, med särskilt fokus på kritisk infrastruktur. Vi avser att uppfylla dessa krav genom formell modellering och verifikation, genom att bygga modeller av processorer, system, och externa komponenter, genom att utveckla teorier och verktyg för verifikation av lågnivå-kod, och genom att verifiera intressanta mjukvarukomponenter.

Kvalifikationer


Kandidater för tjänsten förväntas vara, eller i närtid bli klar som civilingenjör eller masters i datalogi, datateknik, elektro, teknisk fysik, eller ett motsvarande ämne. Specialisering i ett eller flera områden relaterat till säkerhet, formella metoder, eller datorsystem, samt mycket god datorvana är viktigt.

Kandidaten bör ha excellenta akademiska meriter, och väl utvecklade analytiska och problemlösningsfärdigheter. Vi söker en person med stark drivkraft inom området, som kan arbeta självständigt. Goda samarbets- och kommunikationsfärdigheter är viktiga. Goda kunskaper i engelska, både skriftlig och muntligt, är viktiga för att presentera sina resultat vid internationella konferenser och i internationella tidskrifter. Sådana kunskaper kan visas genom egenskrivet material, till exempel examensarbeten, eller språktester som TOEFL. 

Fackliga representanter

Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida. 

Ansökningen måste innehålla:

- CV inklusive relevant arbetslivserfarenhet och kunskap.
- Kopia på examensbevis samt utdrag av betyg från genomförda utbildningar på högskolenivå, med översättning till engelska eller svenska där detta är nödvändigt. Kopior av testresultat ska också bifogas.
- Ge en programförklaring: Varför vill du bli doktor, vilka är dina akademiska intressen och mål, hur relaterar de sig till dina tidigare studier; maximum 2 sidor.
- Publikationer och tekniska rapporter, ej längre än 10 sidor var. För längre dokument vänligen uppge URL och abstract.
- Rekommendationsbrev, alt. kontaktinformation, från två referenser.
Ansökan

Du ansöker via KTH:s rekryteringsverktyg. Du som sökande har huvudansvaret för att din ansökan är komplett när den skickas in. Din kompletta ansökan ska vara KTH tillhanda senast sista dagen för ansökningsperioden.

Övrigt

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. För mer information, besök våra sidor om doktorandstudier. Vi ser helst att anställningen kan börja under september 2015.

Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.