It is confusing to call this the “random poset”, as it is very different from what is usually called random posets in the literature: e.g., random posets have height 3 with high probability. Unambiguous standard descriptions of this structure are the countable universal homogeneous poset, or the countable existentially closed poset. (I will use the latter, as the axiomatization below rather directly corresponds to existential closedness.)

There is a perfectly general description. If $T$ is any universal theory in a finite relational language with the amalgamation property (and the joint embedding property, which however follows from AP in this case as long as you allow the empty structure), the Fraïssé limit of finite models of $T$ exists, and it is the unique countable existentially closed model of $T$. Its theory $T^*$ is $\omega$-categorical, and it is the theory of existentially closed models of $T$.

$T^*$ can be explicitly axiomatized by $T$ + all axioms of the form
$$\forall\vec x\:(\mathrm{Diag}_A(\vec x)\to\exists z\:\mathrm{Diag}_B(\vec x,z)),$$
where $A\models T$ is finite (possibly empty), $\mathrm{Diag}_A$ denotes (the conjunction of) the diagram of $A$, and $B\models T$ is an extension of $A$ of size $|A|+1$.

[Proof sketch: on the one hand, the Fraïssé limit satisfies the given axioms; this amounts to the defining property that any embedding of $A$ into the structure extends to an embedding of $B$. On the other hand, a straightforward zig-zag argument shows that the theory with the given axioms is $\omega$-categorical. Thus, it is the complete theory of the Fraïssé limit.]

This is essentially a special case of the (possibly infinitary) axiomatization of existentially closed models of a given $\forall_2$ theory in terms of *resultants*; see §8.5 in Hodges, *Model theory*, CUP, 1993.

In the case of $T$ being the theory of posets, the axiomatization of $T^*$ above simplifies to:

* The axioms of partial order.

* The axioms
$$\forall x_1,\dots,x_n,y_1,\dots,y_m\:\Bigl(\bigwedge_{i,j}(x_i<y_j)\to\exists z\:\Bigl(\bigwedge_i(x_i<z)\land\bigwedge_j(z<y_j)\Bigr)\Bigr),$$
for all $n,m\in\omega$. That is, if $X$ and $Y$ are finite sets such that $X<Y$, then there is $z$ such that $X<z<Y$. Note that $n$ or $m$ may be $0$, in which case the axioms ensure that the poset is upwards and downwards directed, but it has no minimal or maximal element.

* The axioms
$$\begin{multline}\forall x,y,u_1,\dots,u_n\:\Bigl(x<y\land\bigwedge_i\neg(u_i\le x\lor y\le u_i)\\\to\exists z\:\Bigl(x<z\land z<y\land\bigwedge_i\neg(u_i\le z\lor z\le u_i)\Bigr)\Bigr),\end{multline}$$
for $n\in\omega$, ensuring that for any finite set $U$, any interval $[x,y]$ contains an element $z$ incomparable with all elements of $U$, as long as this is not impossible (i.e., some $u\in U$ is below $x$ or above $y$).