Of course they do.
Check it out:
Sixty-three percent of the federal civilian workers who earned an annual salary of $100,000 or more in 2013 were men, according to data from the Office of Personnel Management.
An OPM database—FedScope—contains historical data on the federal civilian workforce going back to 1998. The database contains information about civilian federal workers employed by most Executive Branch agencies (excluding intelligence agencies, the White House, and the Office of the Vice President) and some Legislative Branch agencies. It does not include employees of the Judiciary Branch or congressional staff.