[finite-model-theory] Phd Shcolarship