The answer is yes.

Let $M$ be a countable computably saturated model of ZFC with a measurable cardinal $\kappa$. Let $N$ be the Ord-length iterated ultrapower of a measure on $\kappa$. The model $M$ thinks $N$ is a definable well-founded class structure, which is strictly taller than $M$. But $M$ and $N$ are two countable models of ZFC with the same theory, same standard system, and computably saturated, and this ensures that they are isomorphic (externally). The model $N$ is computably saturated, since any definable class in a computably saturated structure is also computably saturated.

Here is my previous answer to your question. Here is an example of the dual situation, where a model of set theory can define a model that it thinks is strictly shorter, but to which it is actually isomorphic. I am posting this because I find it interesting and related, even though it doesn't answer your question.

**Theorem.** Every countable computably saturated model of ZFC is isomorphic to a rank-initial segment of itself.

**Proof.** Suppose that $M$ is a countable computably saturated model of ZFC. It follows that the theory of $M$ is in the standard system of $M$. That is, there is a natural number $t$ in $M$ that codes a sequence of natural numbers, such that the standard part of that sequence is exactly the Gödel codes of the sentences true in $M$. By reflection, increasing large standard fragments of this theory are true in the rank-initial segments $V_\alpha^M$, and so by overspill, there must be some $N=(V_\alpha)^M$ that satisfies a nonstandard fragment of the theory coded by $t$. Thus, $N$ and $M$ have the same theory, and the same standard system. From this, it follows that they are isomorphic. $\Box$

The model $N$ is definable in $M$ from parameters, since $M$ thinks $N$ is just $V_\alpha$.

You can see various versions of this argument in my paper:

Here is another variation on the theme:

**Theorem.** There is a countable model $M$ of ZFC that is isomorphic to a forcing extension $M[c]$ of itself.

This is a little closer to what you asked for, since $M[c]$ can define $M$, and it is isomorphic to $M$. But this model is still set-like, so ultimately it doesn't fulfill your requirement.

**Proof.** Let $M_0$ be a countable computably saturated model of ZFC, and let $M=M_0[d]$ be the model obtained by forcing to add a Cohen real $d$. Let $c$ be $M$-generic, and consider $M[c]$. Since both are obtained by forcing over $M_0$ to add a Cohen real, they have the same theory, and they are both computably saturated and have the same standard system, hence isomorphic. $\Box$