Open Post-Doc Position in Logics for Quantum Interaction (Illc, Amsterdam)
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’:



Constantin Piron, famous for many things including the Jauch-Piron NoGo-theorem and his reconstruction theorem, and of course his beautiful book Foundations of Quantum Physics, has died at the age of 80 on May 9, 2012. While usually associated with quantum logic, he strongly emphasized an operational underpinning of axiomatic concepts, and boldly went against any dogma, including quantum logic.