7 process-algebra PhD research jobs in Denmark