[meowster]

I don't know of any federal government 401k; everyone gets a "pension", it's called FERS (Federal Employees' Retirement System)

https://en.wikipedia.org/wiki/Federal_Employees_Retirement_S...

[bradj]

There’s a government program that is similar to a 401k, called the Thrift Savings Plan.

https://www.tsp.gov/

[ianai]

It doesn’t cover as many as you may expect.