Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD position in probabilistic processes and modal logic

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.

To apply, send a CV, letter of motivation, and names of at least two references to Wan Fokkink () and Bas Luttik (). Deadline for application is May 15, 2011.

For more information, see http://www.cs.vu.nl/~tcs/problog.pdf.

Please note that this newsitem has been archived, and may contain outdated information or links.