I feel it's pretty safe to assume. All a US agency needs to gain an "asset" in a tech company is find an employee with the right blend of patriotism and trust in the intelligence agencies.

They might not have full-time undercover spies, but they almost certainly have assets.