Are you sure that's a pension plan and not their internal branding for a retirement savings account? Pensions are totally unheard-of among tech companies, I don't know a single person who has one. There are 401(k)s, and the good companies will match contributions generously, but no pensions.
A 401k is just another type of pension though. When you say 'pension' you really mean 'defined benefits plan'. But that's not what pension means. A pension is any kind of savings or investments for retirement, with certain tax benefits.
Maybe that's the dictionary definition, but in common parlance, everybody uses "pension" in the sense of distinguishing it from a 401(k) or other tax-advantaged savings/investment account.
