[finite-model-theory] Three postdoctoral positions in Edinburgh