Employees of the Federal Government provide service to their employer in exchange for compensation, of which some is received currently (the salary); and some is deferred (pensions, retirement health benefits, and other retirement benefits).
Federal Government employees get pensions and retirement health benefits.
Federal Government employees are not eligible for pensions.