Right, but the industry wants bad programmers who are good managers and business thinkers. Unfortunately it's hard to draw a straight line from formal methods to profit. So it's hard to convince people to fund a solution that requires highly specialized knowledge and cannot be easily scaled by adding more people.

The tradeoff is that in the long run codebases accumulate a lot more complexity and become brittle, hard to maintain, and a pain to work with. Companies don't value this long term thinking though, and instead want to see a direct line to profit with every ticket and change to the codebase (which of course isn't really conducive to a well engineered codebase).