Two PhD Positions in Logics for Quantum Interaction (Univ. of Groningen, Netherlands)
*** TWO PHD POSITIONS IN LOGICS FOR QUANTUM INTERACTION ***
UNIVERSITY OF GRONINGEN, THE NETHERLANDS
Call for Applications:
Two PhD positions are 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 candidates will join the five-year NWO Vidi project of Dr. Sonja Smets.
VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:


