401k matching

When I started at the state, I only got a quick run through of certain HR items and nothing more. I’m trying to figure out if there is a matching 401k or some sort of matching retirement fund that I might be missing out of. I tried asking the OT who did the HR but they didn’t really know about any matching retirement funds. I’m part of SEIU if that makes a difference.