Forskare i Datavetenskap

Uppsala universitet / Datajobb / Uppsala
Observera att sista ansökningsdag har passerat.


Visa alla datajobb 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 Datavetenskap med inriktning mot interaktiva bevissystem för parallella program
vid institutionen för Informationsteknologi med tillträde snarast och anställningstid i maximalt 2 år.
Projekt: Målet är att bygga ett ramverk för ett brett spektrum av modeller för parallella program, med olika datatyper, logiker, typesystem etc. Inom ramverket ska vi undersöka allmänna bevisstrategier och verifieringsmetoder. Vi kommer att implementera ramverket i ett interaktivt bevissystem. För närvarande används Isabelle.
Miljö: Institutionen finns beskriven på http://www.it.uu.se . Vi har flera stora relaterade projekt, t ex http://www.upmarc.se .
Kvalifikationskrav: Doktorsexamen i datavetenskap och dokumenterad erfarenhet av programteoriutveckling. Dokumenterad erfarenhet av användning av något interaktivt bevissystem.
Meriterande: Erfarenhet av utveckling av teori för parallella eller distribuerade system. Erfarenhet av användning av Isabelle.
Upplysningar om anställningen lämnas av Joachim Parrow, 018-471 eller e-post: joachim.parrow@it.uu.se . Fackliga företrädare är Anders Grundström, Saco-rådet, tel. 018-471 53 80 och Carin Söderhäll, TCO/ST, tel. 018-471 19 96 och Stefan Djurström, Seko, tel. 018-471 33 15.

Publiceringsdatum
2010-04-01

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 2010-05-03
Välkommen med din ansökan, inklusive komplett meritförteckning (CV)och fullständig publikationslista senast den 3 maj 2010, UFV-PA 2010/634.
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 2010/634

Företag
Uppsala universitet

Adress
Uppsala universitet
Box 256
75105 UPPSALA

Kontaktuppgifter
Telefonnummer: 018-4710000
Faxnummer: 018-4712000

Jobbnummer
620672

Observera att sista ansökningsdag har passerat.

             

Prenumerera på jobb från Uppsala universitet

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Uppsala universitet: