[finite-model-theory] Two Assistant Professors in Mathematical and Computational Logic