What pension? I don’t think that’s a common US benefit. https://careers.microsoft.com/us/en/usbenefits
Financial services companies play the same game - bonuses get paid first couple months of the year so around Christmas they cut as many people as they can. Real jerk move but not as bad as working someplace thirty years and then losing your retirement three months before.
When people refer to a "pension", they're usually talking about a defined benefit plan that requires little or no funding from the employee's paycheck. The amount of money you get at retirement is determined upfront, and based on things like years of service and average wages over some prescribed time period.
I was going to fight you on that, but you're right. TIL.