Yup, selling puts is exactly the same risk profile as buying stock. It depends on the broker but at IB for example you can sell puts, put on options spreads, etc in an IRA as long as the account is approved for it.
Even then, selling calls is not allowed because it's theoretically unlimited risk.