Noether's normalization in iterated skew polynomial rings

The classical Noether Normalization Lemma states that if $S$ is a finitely generated algebra over a field $k$, then there exist elements $x_1,\dots,x_n$ which are algebraically independent over $k$ such that $S$ is a finite module over $k[x_1,\dots,x_n]$. This lemma has been studied intensively in different flavors. In 2024, Elad Paran and Thieu N. Vo successfully generalized this lemma for the case when $S$ is a quotient ring of the skew polynomial ring $D[x_1,\dots,x_n;\sigma_1,\dots,\sigma_n]$. In this paper, we investigate this lemma in a more general setting when $S$ is a quotient ring of an iterated skew polynomial ring $D[x_1;\sigma_1,\delta_1]\dots[x_n;\sigma_n,\delta_n]$. We extend several key results of Elad Paran and Thieu N. Vo to this broader context and introduce a new version of Combinatorial Nullstellensatz over division rings.