Let $A$ be a finite dimensional algebra over a field $K$. It is clear that if $A$ is semisimple, then every simple module is projective. Does the converse hold ?
It seems false, but I can't find a counterexample. A non-semisimple algebra with this property must have a non-projective indecomposable module, but that's as far as I could go.
Every finitely generated $A$-module has finite length, and therefore it is projective.
Now use a result of Auslander which says the following: the left global dimension of $A$ equals the supremum of projective dimensions of cyclic $A$-modules. This implies that the global dimension of $A$ is zero, hence every $A$-module is projective, so $A$ is semisimple.