[finite-model-theory] Faculty Positions in Cambridge