I have a 403b, but like others said, it's the same idea as a 401k.
My employer matches 100%, up to 5% of salary.
In addition to the 403b, we have a defined benefit plan (pension) that we are required to contribute to, at 6% of our salary. The state also kicks some in, but I don't remember what it is.
We also have access to a 457, which does not have any matching, but provides another tax-sheltered way to save. In addition to the $18,500 (is that right?) you can contribute to your 403b, you can contribute another $18,500 to your 457, and you do not have to wait until you are a certain age to access it--it is available with no penalties upon separation from my employer.
So overall, not an outstanding match (I'm jealous of those whose employers contribute more!), but we do have a lot of options available for people who are savers.