[finite-model-theory] PhD position in Theoretical Computer Science at HU Berlin