How do we formally construct the successor universe $\mathscr{U}^+$ of a universe $\mathscr{U}$ in $\mathsf{ZFC}$?
ZFC doesn't even prove that universes exist in the first place. However:
ZFC proves that universes are exactly sets of the form $V_\kappa$ for $\kappa$ inaccessible. In particular, "any two universes are $\in$-comparable" is provable in ZFC alone; what's not provable is that there are many universes, or indeed any.
The successor universe of $\mathcal{U}$ is therefore a well-defined concept, and every universe has a successor universe assuming enough universes exist in the first place: ZFC proves that there is exactly one universe of height $\kappa$ for each inaccessible cardinal $\kappa$, so to get the successor universe we just "go up to the next inaccessible." ZFC can't prove that there always is a next inaccessible, but it does prove that "every set is contained in a universe" is equivalent to "there is a proper class of inaccessibles," and that each of these implies "every universe has a successor universe."
The intersection of a nonempty set of universes is a universe. Now, let $U$ be a universe, and suppose that there exists a universe $V$ with $U\in V$. Then, the set of all universes $W$ with $U\in W\subseteq V$ exists and is nonempty. Its intersection is a universe, and this is readily checked to be the smallest universe containing $U$.
The question confounds definition of an object and its existence. These are two different notions.
Definition: The universe $\mathcal{V}$ is the successor of the universe $\mathcal{U}$ iff $\mathcal{U} \in \mathcal{V}$, and for all universes $\mathcal{W}$, if $\mathcal{U} \in \mathcal{W}$ then $\mathcal{V} \subseteq \mathcal{W}$.
There is no mystery in the definition. I take it that the question is really asking about existence of successor universes, in which case the title of the question should be modified.
As is well-known, in ZFC a set $\mathcal{U}$ is a universe if, and only if, $\mathcal{U} = V_{\kappa}$ for some (unique) inaccessible cardinal $\kappa$. Here $V_\kappa$ is the $\kappa$-th level of the cummulative hierachy.
Because in ZFC the the cardinals are well-ordered, it follows that a universe $V_\kappa$ has a successor if, and only if, there exists an inaccessible larger than $\kappa$, in which case the successor universe is $V_\lambda$, for $\lambda$ the least inaccessible above $\kappa$.
Nowhere in the answer did we have to assume that inaccessibles or universes exist. We observed that existence of universes is equivalent to existence of inaccessible cardinals. ZFC does not prove that inacessible cardinals exist.
The void is psychologically scary but is mathematically quite tame.