Doktorand - Datavetenskap

Doktorand i datavetenskap.Verifiering av programvara.

Syfte: Arbetet kommer att bedrivas inom ett projekt som syftar till att utveckla tekniker för att verifiera programvara, särskilt för att hantera problemen med parallell programvara.Projektet kommer att utveckla och kombinera tekniker från formell verifiering, programanalys, och testning, i syfte att säkerställa korrekthet och hitta fel.Problem som ryms inom projekt kan vara att använda programanalys för att vägleda testexekvering, att analysera protokoll i nätverk med många noder, att analysera parallella algoritmer, eller att extrahera information från testloggar.

Arbetet kommer att bedrivas inom forskningscentret UPMARC, samt inom ett nytt ramprojekt finansierat av VR (vetenskapsrådet).Mer information finns på http://www.upmarc.se, http://www.it.uu.se/research/docs/fm/apv/, http://www.it.uu.se/research/group/testing.

Kvalifikationer: En doktorand ska ha civilingenjörsexamen, magisterexamen eller motsvarande kunskaper i ett ämne som är relevant för forskningsområdet, goda kommunikationsfärdigheter och utmärkta studiemeriter, samt goda färdigheter i engelska i tal och skrift.En doktorandanställning ges upp till fem år.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 %).Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap 1-7 samt i universitetets regler och riktlinjer http://regler.uu.se/).

Uppsala Universitet strävar efter att nå en jämn fördelning mellan könen, varför vi gärna ser kvinnliga sökande.

Ansökan ska innehålla ett brev där den sökande beskriver sig själv, relevanta kvalifikationer och forskningsintressen.Ansökan ska också innehålla en meritförteckning (CV), kopia av relevanta betygshandlingar, en kopia av examensarbete (åtminstone en sammanfattning), relevanta publikationer och övriga dokument (t ex rekommendationsbrev eller förteckning över referenspersoner).Sökande uppmuntras dessutom att ange tidigaste möjliga datum för anställning.