I guess you are working over $\mathbb{R}$, so let $K \in M_n(\mathbb{R})$. As $K$ is symmetric, you can find a matrix $T \in GL_n(\mathbb{R})$ such that $T^{-1}KT = \text{diag}(\lambda_1,...,\lambda_n)$ and all $\lambda_i$ are real. As $K$ is positive definite, we have $\lambda_i > 0$ for all $i$. By Gram-Schmidt you may assume that $T^{-1} = T^t$. Then set
$$A := \text{diag}(\sqrt{\lambda_1},...,\sqrt{\lambda_n}) \, .$$
As $A^2 = T^{-1}KT$, you have
$K=TA^2T^{-1} = T A A T^t$ and if you set $S =AT^t$ you get
$$S^tS = (AT^t)^tAT^t = (T^t)^tA^tAT^t = TAAT^t = K \, .$$
Here I have used $(AB)^t=B^tA^t$ and $(A^t)^t=A$ for arbitrary matrices and $A^t=A$ for a diagonal matrix.