Doktorand i datavetenskap

Doktorand i datavetenskap, programmeringsspråk vid institutionen för informationsteknologi, avdelningen för datalogi.

Anställningen är placerad inom forskningsgruppen för implementering av programmeringsspråk och finansierad genom anslag från Vetenskapsrådet ("Detecting Defects in Concurrent Telecom Software through Static Analysis").Den sökande förväntas arbeta inom gruppen HiPE (High Performance Erlang), utveckla tekniker för att automatiskt finna samtidighets("concurrency")fel i program med meddelandehantering, samt tillämpa dessa tekniker på programspråket Erlang.Under de senaste åren har HiPE-gruppen utvecklat maskinkodskompilatorn för Erlang/OTP och verktyget Dialyzer som finner programmeringsfel i sekventiella delar av Erlangprogram.Ytterligare information om forskningsgruppen och dess arbete finns på webbsidan http://
www.it.uu.se/research/group/hipe/.

Den sökande skall ha goda kunskaper i och intresse för datavetenskap, dokumenterad erfarenhet av systemprogrammering såsom konstruktion av kompilatorer eller operativsystem.Kännedom om funktionella språk och tekniker för statisk analys är en merit.Erfarenhet av Erlang och dess tillämpningar är speciellt önskvärd.Förmågan att lära sig och förstå nya ämnesområden skall styrkas med betyg eller liknande.De flesta av våra doktorander har magisterexamen i datavetenskap eller teknisk fysik.Sökanden som kommer att avsluta sin examen inom de närmaste månaderna är också behöriga att söka.

Innehavaren av doktorandanställning skall främst ägna sig åt egen forskarutbildning.Övrig tjänstgöring vid institutionen som avser utbildning och administrativt arbete kan ingå inom ramen för anställningen (max 20%).För kvalificerade sökanden som redan har anställning inom IT- branschen är deltidsanställning möjlig.

Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap 1-7 samt i universitets regler och riktlinjer http://info.uu.se/internt.nsf/regelsamling


Uppsala universitet eftersträvar en jämnare könsfördelning inom forskningen och ansökningar från kvinnor är speciellt välkomna.Ansökningen skall innehålla ett kortfattat följebrev där den sökande beskriver sig själv, relevanta kvalifikationer och intressen.Den skall också innehålla en meritförteckning (CV), kopior av relevanta betygshandlingar, kopia av den sökandes examensarbete eller en sammanfattning av denna och ev.andra publikationer.