I'm not part of the USDS, but I do work for the feds. There are some exceptions for senior executive positions and other exception jobs, but for run of the mill civil service jobs you must be a US citizen.