Forskningsposition for Ph.D. med stærk publikationshistorik inden for programmeringssprog og systemverifikation. Mulighed for at forme forskningsprojekt efter egne interesser. Samarbejde med forskningsgruppe om avancerede teknikker til test af distribuerede systemer og weak-memory arkitekturer.