Yes. Here's a sketched example:

Start in L. Let P be the forcing which adds &omega;<sub>1</sub> many Cohen reals, and let G be an L-generic filter for P. Then L(&#8477;)<sup>L[G]</sup> will model ZF, but will have no well ordering of the reals. The point is that if &sigma; is an automorphism of P, then
&sigma; can be extended to an elementary map from L[G] to L[&sigma;[G]], and this extension will fix L(&#8477;)<sup>L[G]</sup>. So if there was a well ordering of &#8477; in L(&#8477;)<sup>L[G]</sup>, it would give a well ordering of G which was fixed by &sigma;. But &sigma; can reorder the elements of G because of the homogeneity of P.