Yes, from Bob's perspective, the state Alice holds is:
$$\rho=|\alpha|^2 |0\rangle\!\langle0| + |\beta|^2 |1\rangle\!\langle1|=\begin{pmatrix}|\alpha|^2 & 0\\ 0 & |\beta|^2 \end{pmatrix}.$$
As you've mentioned, this is indeed a mixed state (except if $|\psi\rangle$ is a computational basis state of course). However, you also said:
But he knows the qubit is not really in a mixed state because it must have collapsed when Alice measured it?
It is important to make the distinction between a state in superposition and a mixed state, something you can read about here.
But how do we get to the previous expression for $\rho$? Well, Bob knows that Alice got the outcome $|0\rangle$ with probability $|\alpha|^2$, and the outcome $|1\rangle$ with probability $|\beta|^2$. Putting things differently, the post-measurement state is $|0\rangle\!\langle0|$ with probability $|\alpha|^2$, and $|1\rangle\!\langle1|$ with probability $|\beta|^2$. That is, Bob has a classical uncertainty on Alice's state, which is directly described in the density matrix formalism by a convex combination of the possible outcomes, with the weights being the associated probabilities.
More generally, if Bob knows that the post-measurement state is some pure state $\left|\psi_i\right\rangle\!\left\langle\psi_i\right|$ with probability $p_i$, then from his perspective, the state Alice holds is:
$$\rho=\sum_ip_i\left|\psi_i\right\rangle\!\left\langle\psi_i\right|.$$