Open Post-Doc position in Logics for Quantum Interaction

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 on "Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols".

We are looking for candidates with a strong interest in Quantum Information Theory and either Probability Theory or/and Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic). Candidates should have (or obtain before 1 September 2010) a PhD degree in any area connected to Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics.

The deadline for Applications: 7 June 2010
For more information please contact Dr. Sonja Smets at S.J.L.Smets at rug.nl Or see http://sonja.tiddlyspot.com/.