Doktorand i villkorsprogrammering

Uppsala universitet ledigförklarar härmed följande

Doktorand i villkorsprogrammering för trådlösa sensornätverk vid Institutionen för informationsteknologi.

Projektbeskrivning:
ProFun: Programmeringsplattform för trådlösa sensornätverk (www.it.uu.se/research/profun) är ett projekt finansierat av Stiftelsen för Strategisk Forskning (SSF) mellan 2009 och 2013.Målet är att bygga en programmeringsplattform för trådlösa sensornät där sensorerna programmeras kollektivt snarare än individuellt, med fokus på tjänster från hela nätet snarare än på mikroprogrammering av och kommunikation mellan enskilda sensorer.Sensornätverk måste till stor utsträckning vara självhanterande eftersom vi inte heller kan styra dem alla manuellt.

Inom detta område finns mängder av olika kombinatoriska problem som behöver läsas effektivt och målet med avhandlingsarbetet är att, via villkorsprogrammering (constraint programming) och global (träd)sökning eller lokalsökning, modellera och lösa utvalda nyckelproblem för projektet.Några särskilt viktiga problem återfinns inom konfigureringen av den distribuerade middleware vi ämnar använda.Exempel på sådana problem är att finna optimal sensorplacering eller gruppering inom nätverket innan spridning av sensorerna.Vänligen kontakta oss för en mer detaljerad beskrivning av dessa problem.

Den antagna doktoranden kommer att verka både inom forskargruppen ASTRA för villkorsprogrammering (www.it.uu.se/research/group/astra) samt inom forskargruppen CoRe för kommunikation (www.it.uu.se/research/group/core).
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 doktorandtjänst 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 universitetes regler och riktlinjer http://info.uu.se/internt.nsf/regelsamling.Lokala riktlinjer finns fastställda för löneinplacering.

Den sökande förväntas ha en viss bakgrund inom kombinatorisk problemläsning (särskilt villkorsprogrammering) och/eller trådlösa sensornätverk, ett visat intresse för både ämnen, samt starka kunskaper i diskret matematik och programmering.
Ansökan ska innehålla ett brev (på engelska) där den sökande beskriver sig själv, samt för projektet relevanta kvalifikationer och forskningsintressen.Ansökan ska också innehålla en meritförteckning (CV), kopior av relevanta betygshandlingar, en kopia av examensarbete (Åtminstone en sammanfattning), relevanta publikationer och Övriga dokument (t ex förteckning över referenspersoner, men ingen rekommendationsbrev).Sökande uppmuntras dessutom att ange tidigaste möjliga datum för anställning.

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

Vidare upplysningar finns på www.it.uu.se/research/profun (ProFuN), www.it.uu.se (institutionen), eller via kontakt: Prof.