Doktorand i datorteknik

Doktorand i datorteknik vid Institutionen för informationsteknologi (IT), avdelningen för datorteknik.

Vi söker en doktorand till följande projekt:
Designverktyg för multiprocessorer i inbyggda system.
Ämnesområden inkluderar uppskattning av minnesanvändning och svarstid i multi-trådad programvara för processorer med multi-kärnor i inbyggda system.Framtida inbyggda system kommer att köra multi-trådad mjukvara på processorer med multipla kärnor för låg energiförbrukning och hög prestanda.I sådana system kommer mjukvara att dela inte bara processor kärnor utan också cache-minne, och bandbredden för tillgång till minneshierarkier.

Projektet går ut på att studera den komplexa interaktionen mellan multi-trådad mjukvara och processorer med multipla kärnor.Ett av målen är att ta fram abstrakta modeller för att beskriva beteende av hårdvaruresurser, multi-trådade program, algoritmer för resurshantering och deras interaktion.Dessa modeller kommer att användas för att beräkna minnesanvändningen och svarstid för enskilda programsekvenser.

Utgångspunkten för projektet kommer att vara UPPAAL och TIMES, som är verktyg för tidsanalys och automatisk verifiering framtagna vid vår institution, och klassiska analystekniker som RMA för schemaläggningsanalys baserad på värsta fallets scenario.En möjlighet är att kombinera dessa tekniker med verifiering för att uppnå mer precis och skalbar analys.

Den sökande ska ha civilingenjörsexamen, magisterexamen eller motsvarande kunskaper.Sökande ska ha en stark teoretisk bakgrund, med goda kommunikationsfärdigheter och utmärkta studiemeriter.Goda färdigheter i engelska i tal och skrift är ett krav.

Doktoranden ska främst ägna sig åt egen utbildning på forskarnivå.Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete ingår inom ramen för anställningen (max 20 %).

För anställning som doktorand krävs att innehavaren är antagen eller kommer att antas till utbildning på forskarnivå.Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap 1-7 samt i universitetets regler och riktlinjer http://info.uu.se/internt.nsf/regelsamling.Lokala riktlinjer finns fastställda för löneinplacering.
Uppsala Universitet strävar för att nå en jämn fördelning mellan könen.En majoritet av doktoranderna inom Institutionen för informationsteknologi är män varför universitetet gärna ser kvinnliga sökanden.

Ansökningen ska innehålla ett brev där sökanden beskriver sig själv, relevanta kvalifikationer och intressen.Ansökan ska också innehålla en meritförteckning (CV), kopia av relevanta betygshandlingar samt en kopia av examensarbete (eller en sammanfattning av arbetet) och i den mån sådana finns övriga publikationer.