Doktorand i datavetenskap med inriktning mot schemaläggningsteori - Under tillsättning eller tillsatt, ej sökbar

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Institutionen har runt 300 anställda, med 110 seniora forskare och 130 doktorander. Mer än 4000 studenter är registrerade på en eller flera kurser varje år. För mer information, se www.it.uu.se.

Ämnesområde
Realtidssystem är datorsystem som måste utföra sina beräkningar inom givna tidsramar för att fungera korrekt. Ett exempel är styrsystem i fordon.

Inom schemaläggningsteori för realtidssystem studeras schemaläggningsalgoritmer, modeller av processer och datorresurser samt algoritmer som kan analysera en given modell för att ta reda på om säkerhetskraven uppfylls, särskilt med avseende på tidsaspekten.

Schemaläggningsteori är präglat av algoritmik och har kopplingar till teoretisk datavetenskap, bland annat beräkningskomplexitet. Ämnet har också en koppling till tillämpad forskning inom säkerhetskritiska inbyggda system.

Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet

Arbetsuppgifter
Projektet syftar till att inom området bedriva grundläggande teoretisk forskning som håller en hög internationell klass. Det kan exempelvis vara att designa schemaläggningsalgoritmer, att finna nya analysmetoder eller att klassificera schemaläggningsproblem efter sin komplexitet. Särskilt inom multiprocessorschemaläggning finns stora utmaningar. En stor del av arbetet handlar om att hitta och bevisa matematiska samband.

Anställningen är upp till fem år och omfattar institutionstjänstgöring på en nivå av högst 20% (vanligtvis undervisning) samt kursstudier.

Kvalifikationskrav
Kandidater ska ha en magister- eller masterexamen i datavetenskap eller matematik, en civilingenjörsexamen, eller motsvarande kunskaper i ämnen relevanta för arbetet.

Som doktorand förväntas du att lära dig och utvecklas under utbildningens gång. Du bör ha en god inlärningsförmåga, motivation och ett genuint intresse för de teoretiska aspekterna av datavetenskap. Kunskaper om algoritmer och en viss matematisk mognadsgrad är ett krav.
Inom arbetet förväntas en hög grad av självständighet.

Du måste kunna uttrycka dig tydligt och strukturerat i tal och skrift. Mycket goda kunskaper i engelska är ett krav. Du förväntas kunna undervisa på engelska.

Önskvärt/meriterande i övrigt
Existerande kunskaper om realtidssystem är meriterande, men är inte nödvändiga. Det är också meriterande med allmänna kunskaper i teoretisk datavetenskap, erfarenhet av programmering och vana att skriva matematiska bevis.

Ansökan
Ansökan ska innehålla en beskrivning (max 2 sidor) med motivation för din ansökan, dina forskningsintressen samt relevanta kvalifikationer för anställningen. Ansökan ska också innehålla en meritförteckning (CV), kopia på relevanta betygshandlingar (översatta till svenska eller engelska), en kopia av examensarbete (åtminstone ett utkast), eventuella publikationer (med beskrivning av sökandes specifika insats för varje publikation), länkar till eventuella artefakter eller kod (t.ex. GitHub eller Bitbucket) samt eventuella andra relevanta dokument som du vill åberopa. Därutöver ska du tillhandahålla kontaktinformation till minst en referensperson samt ange tidigast möjliga anställningsdatum.

Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i universitetets regler och riktlinjer.

Om anställningen
Anställningen är tidsbegränsad, enligt HF 5 kap § 7. Omfattningen är heltid. Tillträde enligt överenskommelse. Placeringsort: Uppsala.

Upplysningar om anställningen lämnas av: Pontus Ekberg, tel: 018-471 7341, e-post (föredraget): pontus.ekberg@it.uu.se.

Välkommen med din ansökan senast den 17 januari 2021, UFV-PA 2021/4565.