  We introduce the variety ${\mathfrak B}_{\textrm{sup}}$ of bicommutative
superalgebras over an arbitrary field of characteristic different from 2. The
variety consists of all nonassociative ${\mathbb Z}_2$-graded algebras
satisfying the polynomial super-identities of super- left- and
right-commutativity \[ x(yz)= (-1)^{\overline{x}\,\overline{y}} y(xz)\text{ and
} (xy)z=(-1)^{\overline{y}\,\overline{z}} (xz)y, \] where
$\overline{u}\in\{0,1\}$ is the parity of the homogeneous element $u$.
  We present an explicit construction of the free bicommutative superalgebras,
find their bases as vector spaces and show that they share many properties
typical for ordinary bicommutative algebras and super-commutative associative
superalgebras. In particular, in the case of free algebras of finite rank we
compute the Hilbert series and find explicitly its coefficients. As a
consequence we give a formula for the codimension sequence. We establish an
analogue of the classical Hilbert Basissatz for two-sided ideals. We see that
the Gr\"obner-Shirshov bases of these ideals are finite, the Gelfand-Kirillov
dimensions of finitely generated bicommutative superalgebras are nonnegative
integers and the Hilbert series of finitely generated graded bicommutative
superalgebras are rational functions. Concerning problems studied in the theory
of varieties of algebraic systems, we prove that the variety of bicommutative
superalgebras satisfies the Specht property. In the case of characteristic 0 we
compute the sequence of cocharacters.
