PhD position in Logic/Database theory at UvA

The University of Amsterdam (Informatics Institute) has a fully funded 4-year PhD position available. The research topic is on the interplay of logic, finite model theory, and the theory of (XML)-trees and motivated by a concrete problem in database research: Data Exchange for Document Centric XML.

The starting date is negotiable in the summer of 2011. For more information, see http://politicalmashup.nl/2011/04/dex/ or contact Maarten Marx at M.J.Marx at uva.nl