Forskare i datalogi

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

Forskare i datalogi
vid avdelningen för datalogi vid Institutionen för informationsteknologi, i ämnet Syntes av "global constraints" (Synthesis of Global Constraints)
Bakgrunden till denna anställning är den senaste trenden inom constraint programming angående generiska constraints (som Automaton, Regular, MDD, osv, som tar en deklarativ specifikation av ett nytt global constraint som argument) och högnivå constraint specifikationsspråk (som passande första- och andraordnings logik, osv), så att nya global constraints kan skapas när de behövs för en särskild modell. Sådant arbete finns för både systematisk trädsökning (där propagerings algoritmer implementerar constraints) och lokal sökning (där violation funktioner implementerar constraints). Målet med detta projekt är att bidra till dessa, samt undersöka om de designade generiska propagerings algoritmerna och violation funktionerna kan specialiseras och användas för specifierade constraint.
Forskaren kommer att arbeta inom ASTRA gruppen om constraint programming (se: www.it.uu.se/research/group/astra/) och dess värdar kommer att vara professor Pierre Flener och universitetslektor Dr Justin Pearson.
Anställningen omfattar längst 2 år (till 2013-06-30), med tidigast startdatum normalt 2011-07-01. Arbetet är på heltid och inkluderar institutionstjänstgöring med max 20 procent (normalt sett undervisning).
Behörighetskrav: Behörig att anställas är den som avlagt doktorsexamen i datavetenskap (eller närligande område) eller har en utländsk examen som bedöms motsvara doktorsexamen. Kandidaten måste ha en stark bakgrund inom constraint programming (som diskuteras i t.ex. "Handbook of Constraint Programming", Elsevier, 2006), färdigheter inom diskret matematik och programmering, och demonstrerat flytande engelska, i både tal och skrift.
Ansökan ska vara skriven på engelska och innehålla ett kort beskrivning om forskningsintressen, relevanta kvalifikationer, en meritförteckning (CV) med publikationslista, examensbevis av doktorsexamen, relevanta (student och doktorand) betygshandlingar (samt översättningar till svenska eller engelska), doktorsavhandling (eller det senaste utkastet om den inte är färdig), andra relevanta dokument, och ett tidigast anställningsdatum. Vi ser helst att bilagor skickas in i PDF eller JPG format kommer att utvärderas. Kontaktuppgifter till tre referenspersoner ska lämnas; referensbrev behöver inte bifogas då vi kommer att kontakta referenserna vid behov.
Universitetet strävar efter en jämnare könsfördelning och kvinnor inbjuds särskilt att söka denna anställning.
Upplysningar om anställningarna kan lämnas av Professor Pierre Flener, pierre.flener@it.uu.se , tel. 018-471 1028; eller Universitetslektor Dr Justin Pearson, justin.pearson@it.uu.se , tel. 018-471 7292. Fackliga företrädare är Anders Grundström, Saco-rådet, tel. 018-471 5380 och Carin Söderhäll, TCO/ST, tel. 018-471 1996 alt. tel. 018-471 1997, Stefan Djurström, Seko, tel. 018-471 3315.

Publiceringsdatum
2011-04-05

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

Ersättning
Fast lön

Så ansöker du
Sista dag att ansöka är 2011-05-02
Välkommen med din ansökan senast den 2 maj 2011, UFV-PA 2011/785. Klicka på länken nedan för att komma till ansökningsformuläret.
Ansökan sker via företagets webbplats.
Ange följande referens när du ansöker: UFV-PA 2011/785
Ansökan kan tyvärr inte göras via e-post.

Företag
Uppsala universitet

Adress
Uppsala universitet
Box 256
75105 UPPSALA

Kontaktuppgifter
Telefonnummer: 018-4710000
Faxnummer: 018-4712000

Jobbnummer
895748

Observera att sista ansökningsdag har passerat.

Forskare i datalogi

Prenumerera på jobb från Uppsala universitet