[finite-model-theory] PhD position at the "Database" group at University of Bremen