Doktorand i datavetenskap

Uppsala universitet ledigförklarar härmed följande anställning

Doktorand i datavetenskap.Modellgenerering för kommunicerande processer utifrån testdata och observationer
vid Institutionen för informationsteknologi.

Bakgrund: Användning av modellbaserade tekniker inom systemutveckling och verifiering har varit en drivkraft för att forska fram tekniker för att automatiskt konstruera modeller som beskriver beteendet hos komponenter i program och distribuerade system.I många sammanhang har man inte tillgång till programkod eller givna specifikationer, och då är tekniker som använder observationer från tester och interaktioner med komponenten det enda sättet att konstruera modeller.Tekniker för maskininlärning är en ansats för detta som kommer att vidareutvecklas inom projektet.

Syfte: Projektets mål är att ta fram tekniker för att konstruera modeller av programkomponenters beteende utifrån observationer av tester och kommunikationsbeteende.Det antas att man har tillgång till viss information, t.ex. vilka meddelanden som kan skickas till och från komponenten.Projektet kommer att bygga verktyg baserade på de utvecklade teknikerna.

Projektet är en del av det europeiska samarbetsprojektet CONNECT, som sätter igång 2009.Till del kommer arbetet att baseras på verktyget LearnLib, och därmed relaterad forskning

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://info.uu.se/internt.nsf/regelsamling.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.


Om ansökan skickas per fax eller e-post skall den kompletteras med originalhandling inom en vecka från ansökningstidens utgång.