The Federal government pays incredibly well, but has few technology workers. They instead primarily act as managers for embedded contractors, who themselves are paid far above average for a given role.
Additionally, AWS already has a DoD presence.
Source: Lived in DC area for 8 years, worked on numerous federal contracts, witnessed highly overpaid, lazy shitbags who were so incompetent that government shutdowns forcing them to stay home sped up work on contracts.
Amazes me how the "government workers are underpaid" meme is so strong in people who haven't spent time in DC area.
I grew up in an impoverished rural part of Virginia 6 hours from DC. Going home and seeing my hard working relatives scrape by and do without after paying taxes, then going back to DC and seeing people who arrived at work at 9, left at 3:30, and yapped half the day made me transform from Leslie Knope to Ron Swanson.
I always tell people this:
The US political parties have it wrong. One thinks gov't is always bad and shouldn't exist. The other thinks it is fine, but just needs more money.
The reality is that it is a broken organization that used to be amazing, but has rotted, and the last thing it needs is more money. It needs to be radically reformed and reinvented. End rant.