A colleague of mine was involved in verifying the software that controlls the shut-down procedures of the Darlington [0] plant. Now he's working on proofs of block-chain ciphers of some sort or another. I don't believe he's quite rich but he can certainly be rather selective of job opportunities.

[0] https://en.wikipedia.org/wiki/Darlington_Nuclear_Generating_...

update: added link