** OPEN POST-DOC POSITION IN LOGICS FOR QUANTUM INTERACTION **
UNIVERSITY OF GRONINGEN, THE NETHERLANDS
Call for Applications:
A 2,5 year Post-Doc position is available in the Faculty of Mathematics and Natural Sciences in the Institute of Artificial Intelligence (ALICE), offered in collaboration with the department of Theoretical Philosophy at the University of Groningen. 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’: