Logic List Mailing Archive

PhD student position in modal logic, Amsterdam (The Netherlands), Deadline: 15 May 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 
probabilistic processes.

More information on the project can be found at

   http://www.cs.vu.nl/~tcs/problog.pdf

To apply, send a CV, letter of motivation, and names of at least two 
references to Wan Fokkink (w.j.fokkink@vu.nl) and Bas Luttik 
(s.p.luttik@tue.nl). Deadline for application is May 15, 2011.