Can someone explain me how pensions work? Isn’t that some sort of 401k that is tied to the company and you lose access to when you switch companies?

As somebody who got made redundant last week and is facing the shit heap of a job market right now.

Yes, be thankful if you have a job.