[finite-model-theory] PhD positions in Computer Science and Artificial Intelligence at DISI - University of Trento