[finite-model-theory] two phd positions Hasselt University