Logic List Mailing Archive

PhD student position 'From Modal Logic to Probabilistic Processes and Back', Amsterdam (The Netherlands), Deadline: 10 Jan 2011

In the project

   From Modal Logic to Probabilistic Processes and Back

there is a vacancy for a 4 year PhD position at the Vrije
Universiteit in Amsterdam

This is a joint research project between the Theoretical Computer
Science group at the Vrije Universiteit in 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 January 10, 2011.