Open Post-Doc Position in Logics for Quantum Interaction (Illc, Amsterdam)
Application deadline:
Tuesday, June 5, 2012
Call for Applications:
A 2,5 year Post-Doc position is available at the Institute for Logic, Language and Computation at the University of Amsterdam. The candidate will join the Vidi project of Dr. Sonja Smets.
VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:
