2 process-algebra Postdoctoral positions in Denmark