[finite-model-theory] PhD positions in Computer Science and Artificial Intelligence for ERC AdG WhiteMech