[finite-model-theory] Assistant/Associate Professor positions, University of Birmingham,