Doktorand i algoritmisk program-verifiering

Doktorand i algoritmisk program-verifiering vid Institutionen för informationsteknologi (IT), avdelningen för datorteknik.

Vid avdelningen för datorteknik bedrivs forskning för att utveckla nya och bättre datorsystem.Avdelningen har inriktningar mot arkitektur, kommunikation, realtid, formella metoder för specifikation och analys av program, metoder för maskinellt lärande samt utveckling av nya pedagogiska metoder för undervisning av datavetenskap.

Den sökande kommer att arbeta i forskningsgruppen APV (algoritmisk program verifiering) och utveckla verktyg och algoritmer för automatisk verifiering av program.APV-gruppen har under de senaste åren utvecklat ett flertal algoritmer för verifiering av bla tidssystem, kommunikationsprotokoll och hårdvarukretsar.Mer information om gruppen och dess arbete finns här: http://www.it.uu.se/research/docs/fm/apv/.

Den sökande ska inneha civilingenjörsexamen eller motsvarande teknisk/naturvetenskaplig examen (alternativt ska en sådan examen vara nära förestående).Kurser av relevans är logik, algoritm design och analys och programmerings semantik.Den sökande bör ha erfarenhet av systemprogrammering som tex konstruktion av kompilatorer eller operativsystem.Han/hon bör också ha en förmåga att lära och förstå nya ämnesområden.Sökande ska ha en stark teoretisk bakgrund, med goda kommunikationsfärdigheter och utmärkta studiemeriter.

Doktoranden ska främst ägna sig åt den egna forskarutbildningen.Ö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 forskarutbildning.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.


Ansökan skickas senast den 29 juni 2007 till: Registrator, UFV-PA 2007/1602, Uppsala universitet, Box 256, 751 05 UPPSALA.