Doktorand inom villkorsprogrammering - Under tillsättning eller tillsatt, ej sökbar

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Institutionen har i dag ca 280 anställda varav 120 lärare och 110 doktorander. Drygt 4000 studenter läser en eller flera kurser vid institutionen varje år och ett 30-tal forskargrupper är kopplade hit. Mer info: http://www.it.uu.se

Arbetsuppgifter/Projektbeskrivning: Doktoranden kommer att utveckla teori och verktyg för analys av villkorsprogrammeringsmodeller som är oberoende av insattsdata. Doktoranden kommer att särskilt fokusera på formell analys av MiniZinc modeller.

Kvalifikationskrav: En doktorand ska ha civilingenjörsexamen, masterexamen eller motsvarande kunskaper i ett ämne som är relevant för forskningsområdet, goda kommunikationsfärdigheter och utmärkta studiemeriter, samt mycket goda färdigheter i engelska i tal och skrift.

Önskvärt/meriterande i övrigt: Det är önskvärt med en god bakgrund inom några av områdena villkorsprogrammering, diskret matematik, matematisk logik, och liknande.

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/.

Ansökan ska innehålla ett brev där den sökande beskriver sig själv och relevanta kvalifikationer. 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. Sökande uppmuntras att ange tidigaste möjliga datum för anställning. Ansökan ska också innehålla kontaktuppgifter till minst tre referenspersoner men inga bifogade referensbrev, då vi kontaktar referenspersoner vid behov.

Uppsala universitet värdesätter de kvaliteter som jämn könsfördelning och mångfald tillför verksamheten. Vi ser därför gärna sökande av alla kön och med olika födelsebakgrund, funktionalitet och livserfarenhet.

Lön: Enligt lokalt kollektivavtal för doktorander.

Tillträde: Enligt överenskommelse.

Anställningsform: Tidsbegränsad anställning enl HF 5 kap § 7.

Anställningens omfattning: 100 %

Upplysningar om anställningen lämnas av: Justin Pearson (justin.pearson@it.uu.se).

Välkommen med din ansökan senast den 10 juni 2019, UFV-PA 2019/1921.