Doktorand i datalogi

Uppsala universitet, Institutionen för informationsteknologi / Administratörsjobb (offentlig verksamhet) / Uppsala
Observera att sista ansökningsdag har passerat.

Visa alla administratörsjobb (offentlig verksamhet) i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala, Gotland eller i hela Sverige

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Uppgiften är att bedriva forskning och utbildning av högsta kvalitet och att på olika sätt samverka med samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har 45 000 studenter, 6 800 anställda och en omsättning på 6,3 miljarder kronor.

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. Mer info: http://www.it.uu.se

Arbetsuppgifter/Projektbeskrivning: Strängvillkorsproblem finns i ett brett spektrum av "real-world" användningsområden, så som webbsäkerhet (t.ex. "detection of SQL injection and cross-site scripting vulnerabilities"), biologi (t.ex. "detection of stem loops and pseudo-knots" i biosekvenser), interaktiv konfiguration (t.ex. av bilar eller radarsystem), bildanalys (t.ex. scenanalys), datorlingvistik (t.ex. "lexical and morphological analysis"), databastestning, programtestning, programanalys, och "model checking". Målet med projektet är (1) att bygga ut ett existerande, teknikoberoende, och "high-level" modelleringsspråk med strängvariabler och strängvillkor; och (2) att bygga ut existerande "solvers" (som förstår nuvarande modelleringsspråk) av två olika tekniker med "native" strängvariabler och strängresonemang, nämligen "solvers" av "constraint programming (CP)" teknik, den ena söker systematiskt, den andra söker lokalt.

Doktoranden kommer tillhöra ASTRA-forskningsgruppen inom kombinatorisk optimering (se http://www.it.uu.se/research/group/astra). Huvudhandledare kommer att vara professor Pierre Flener. Biträdande handledare kommer att vara docent Justin Pearson. Tidigaste startdatum är 1 april 2016.

Kvalifikationskrav: En doktorand ska ha civilingenjörsexamen, magisterexamen eller motsvarande kunskaper i ett ämne som är relevant för forskningsområdet. Kandidater från alla nationaliteter är välkomna att ansöka.

Den sökande måste ha en stark bakgrund inom "constraint programming technology" (se t.ex. "Handbook of Constraint Programming", Elsevier, 2006), inklusive färdigheter inom diskret matematik och programmering, samt bevisat goda färdigheter i engelska i tal och skrift.

En doktorandanställning ges upp till fem år. Förutom forskarstudier ingår ö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. https://mp.uu.se/web/info/stod/hr-guide/doktorander/finansieringsformer/doktorandanst-c3-a4llning

För mer information om fakulteten och institutionen, se http://www.teknat.uu.se and http://www.it.uu.se .

Ansökan ska innehålla ett brev på engelska där den sökande kort beskriver sig själv och sina forskningsintressen samt kvalifikationer för anställningen. Ansökan ska dessutom innehålla CV, kopior (översatta till svenska eller engelska) av examensbevis och betyg, examensuppsats eller ett utkast av examensarbetet samt en plan för dess slutförande om det inte är färdigt vid ansökningstidens utgång, övriga handlingar som sökanden önskar åberopa, och tidigast möjliga startdatum. Vänligen skicka handlingar som PDF eller JPG-filer.

Kandidaten måste inkludera kontaktinformation till minst tre referenspersoner. Bifoga inte referensbrev då det är vi som kontaktar referenspersonerna vid behov.

Uppsala universitet har ambitionen att främja jämställdheten genom en jämnare könsfördelning. Flertalet anställda inom denna kategori är män varför vi gärna ser kvinnliga sökande till anställningen.

Lön: Enligt lokalt avtal (Lokalt kollektivavtal för doktorander och amanuenser).

Tillträde: tidigast 2016-04-01, tidsbegränsad anställning

Anställningens omfattning: 100 %

Upplysningar om anställningen lämnas av:
Professor Pierre Flener, Pierre.Flener@it.uu.se , tel 018-471 1028
Docent Justin Pearson, Justin.Pearson@it.uu.se , tel 018-471 7292

Välkommen med din ansökan senast den 12 februari 2016, UFV-PA 2015/3690.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp. Vi tar enbart emot ansökan på det sätt som beskrivs i annonsen.

Varaktighet, arbetstid
100%. Tillträde: 2016-04-01 Visstidsanställning

Publiceringsdatum
2016-01-07

Ersättning
Fast lön

Så ansöker du
Sista dag att ansöka är 2016-02-12
Ange följande referens när du ansöker: UFV-PA 2015/3690
Klicka på denna länk för att göra din ansökan

Facklig kontakt
Carin Söderhäll, TCO/ST 018-471 1997
Stefan Djurström, Seko 018-471 3315
Per Sundman, Saco-rådet 018-471 1485

Företag
Uppsala universitet, Institutionen för informationsteknologi

Adress
Uppsala universitet, Institutionen för informationsteknologi
box 256
75200 Uppsala

Kontorsadress
box 256

Jobbnummer
2604882

Observera att sista ansökningsdag har passerat.

Doktorand i datalogi

Prenumerera på jobb från Uppsala universitet, Institutionen för informationsteknologi