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 ([email protected]) and Bas Luttik ([email protected]). Deadline for application is May 15, 2011.
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
