Forskare i Datavetenskap

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.