[finite-model-theory] announcement re: postdoc opportunity