In January, just as Mr. Trump was taking office, the civilian federal work force across the country had reached a post-World War II peak of 2.3 million, not including the Postal Service. Few agencies have publicly stated how many people have been fired or voluntarily resigned, but a rough count shows that federal agencies have lost some 135,000 to firings and voluntary resignation, with another 150,000 in planned reductions.
Contracted and grant-funded workers — which the Federal Reserve Bank of Atlanta estimated to be as many as 4.6 million people — are harder to track in official data.
An article worth your time.