Please note that this newsitem has been archived, and may contain outdated information or links.
Postdoc position in Logics for Quantum Interaction
ILLC currently has a 2.5 year Post-Doc position available in Dr Sonja Smets' Vidi project '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 Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic).
The deadline for applications is 6 June 2012. Vacancy number: W12-106. For more information, see http://www.uva.nl/vacatures/vacatures.cfm/DE54516B-BAC5-4091-B048465780A099EB
Please note that this newsitem has been archived, and may contain outdated information or links.