Doktorand i 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

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.
Vidare upplysningar finns på http://www.it.uu.se/ (institutionen), eller via kontakt: Bengt Jonsson, e-post bengt.jonsson@it.uu.se . Fackliga företrädare är Anders Grundström, SACO-rådet, tel 018 - 471 5380, Carin Söderhäll, TCO/ST, tel 018 - 471 1996 samt Stefan Djurström, SEKO, tel 018 - 471 3315.
Välkommen med din skriftliga ansökan senast den 12 december 2008 under adress: Registrator, UFV-PA 2008/2714 Uppsala universitet, Box 256, 751 05 Uppsala; eller fax 018-471 2000 eller e-post: registrator@uu.se . Om ansökan skickas per fax eller e-post skall den kompletteras med originalhandling inom en vecka från ansökningstidens utgång.

Publiceringsdatum
2008-11-19

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

Ersättning
Fast lön

Företag
Uppsala universitet

Adress
Uppsala universitet
Box 256
75105 UPPSALA

Kontaktuppgifter
Telefonnummer: 018-4710000
Faxnummer: 018-4712000

Jobbnummer
355500

Observera att sista ansökningsdag har passerat.

Doktorand i datavetenskap

Prenumerera på jobb från Uppsala universitet