It is a state-owned enterprise. Theoretically speaking, the general state-owned enterprises in Haidian District are all funded by this company or exercise the rights of investors, and are specially established by the government.
As for whether it is formal or not, each institution is different. It is definitely worse than the scale and formality of central enterprises, but Haidian is also an important area and should not be too bad.