[TYPES/announce] PhD position in probabilistic processes and modal logic at VU University Amsterdam
s.p.luttik at tue.nl
Fri Apr 1 09:31:37 EDT 2011
In the research project
From Modal Logic to Probabilistic Processes and Back
there is a vacancy for a 4 year PhD position at the VU University Amsterdam.
This is a joint project between the Theoretical Computer Science group
at the VU University Amsterdam and the Model Driven Software Engineering
group at Eindhoven University of Technology.
The project involves research at the crossroads of modal logic, process
algebra, and structural operational semantics, in the context of
More information on the project can be found at
To apply, send a CV, letter of motivation, and names of at least two
references to Wan Fokkink (w.j.fokkink at vu.nl) and Bas Luttik
(s.p.luttik at tue.nl). Deadline for application is May 15, 2011.
More information about the Types-announce