[finite-model-theory] assistant professorship (W2tt) in logic/discrete maths/graph theory