Same with most of the universities in Texas.
Many state agencies here in Austin have gun toting security guards. I don't know what their exact powers are but if they're carrying guns, I would assume they are authorized to use deadly force under certain situations.
Some other agencies have actual Capitol Police or DPS (State Troopers).
At the place I contract at, they are "VSP" or something like that, I think Veteran Security Patrol. Maybe VSA, not sure. Many Iraqis and Afganistanis. All carrying a service pistol.