Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Two PhD Positions in Logics for Quantum Interaction

Location: University of Groningen, the Netherlands

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 or see http://sonja.tiddlyspot.com/.

Please note that this newsitem has been archived, and may contain outdated information or links.