Doktorand - datavetenskap

Uppsala universitet / Högskolejobb / Uppsala
Observera att sista ansökningsdag har passerat.

Visa alla högskolejobb i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet i Uppsala, Upplands Väsby, Gävle, Gotland eller i hela Sverige

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/) . Lokala riktlinjer finns fastställda för löneinplacering.
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.
Vidare upplysningar finns på http://www.it.uu.se/ (institutionen), eller via kontakt: Bengt Jonsson, e-post bengt.jonsson@it.uu.se .

Publiceringsdatum
2009-12-23

Arbetstider och omfattning
Visstidsanställning 6 månader eller längre
Heltid

Ersättning
Fast lön

Så ansöker du
Välkommen med Din ansökan senast den 20 januari 2010. Klicka på länken nedan för att komma till ansökningsformuläret
Ansökan sker via företagets webbplats.
Ange följande referens när du ansöker: UFV-PA 2009/3336

Facklig kontakt
Anders Grundström, SACO-rådet, tel. 018-4715380
Carin Söderhäll, TCO/ST, tel. 018-4711996
Stefan Djurström, SEKO, tel. 018-4713315

Företag
Uppsala universitet

Adress
Uppsala universitet
Box 256
75105 UPPSALA

Kontaktuppgifter
Telefonnummer: 018-4710000
Faxnummer: 018-4712000

Jobbnummer
558550

Observera att sista ansökningsdag har passerat.

Doktorand - datavetenskap

Prenumerera på jobb från Uppsala universitet