Comment by petermonsson

Piggybacking on this post:

If you want to go into the HW/semiconductor industry you will be looking for the job title Formal Verification Engineer.

Pay is not as good as the SW industry, but still good.

Demand as jaykru says is exceptional.