They only exist at taxpayer funded employers or legacy businesses like oil and gas, but most everyone else has switched to defined contribution pensions, but those are referred to as “401k” or “401b” or some other letter for the appropriate section of the law that specifies the tax benefit of saving for retirement.
The latter are better ever since low cost index funds came about, as you get to skip paying the DB pension administrators and remove agency risk.