[cyberdrunk]

Presumably you could also do a lot of embedded software work that solves similar problems as controls?

[Shacklet0n]

Yes, and I am considering moving more in that direction. I've actually quite enjoyed specifying and implementing safety-critical PLC software in my new career. But I'd really like to invest more time in formal specification and verification, particularly in embedded software!