The reductions followed cuts of about 6,000 positions last quarter, and were indicative of a tightening job market at big technology companies.
