Is $AA^T$ positive semidefinite?

Let $y=A^Tx$.
$x^T AA^Tx=y^Ty=\sum_{k=1}^N y_k^2\geqslant 0$

So your answer is yes.