Two PhD Positions in Logics for Quantum Interaction

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

Candidates should have (or obtain before 1 September 2010) an excellent Masters degree in Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics. Fluent English is a prerequisite. We are looking for candidates with a strong interest in Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic) and in Quantum Information Theory or Quantum Computing.

The deadline for applications is 7 June 2010. For more information contact Dr. S. Smets at S.J.L.Smets at rug.nl or see http://sonja.tiddlyspot.com/.