Postdoktor i programverifiering

Postdoktor i programverifiering
vid Institutionen för informationsteknologi

Vi söker en postdoktor som vill forska inom området programverifiering.I dag består programverifieringsgruppen vid institutionen av 1 professor, 5 doktorander och 1 postdoktor.Vi bedriver forskning främst inom algoritmisk analys och korrekthet hos parallella datorsystem.

En postdoktor ska ha doktorsexamen eller motsvarande kunskaper, goda kommunikationsfärdigheter och utmärkta studiemeriter, samt goda färdigheter i engelska i tal och skrift.Doktorsexamen ska ha avlagts högst tre år före ansökningstidens utgång (perioden förlängs med hänsyn till sjukdom, föräldraledighet, o dyl).En postdoktorsanställning är en tidsbegränsad anställning på två år för forskning men kan även innehålla en mindre andel (högst 20%) undervisning.

Uppsala universitet strävar för att nå en jämn fördelning mellan könen, varför vi gärna ser kvinnliga sökande.

Ansökan ska innehålla ett brev där den sökande beskriver sig själv, relevanta kvalifikationer och forskningsintressen.Ansökan ska också innehålla en meritförteckning (CV), kopia av relevanta betygshandlingar, en kopia av doktorsavhandling, relevanta publikationer och övriga dokument (t ex rekommendationsbrev eller förteckning över referenspersoner).