> The science of engineering from a practical standpoint, where most demand for employees comes from, is very much algorithmic.

You should read up on Göedel's and Turing's work on the limits of formal systems and computability.

You are basically presuming that P=NP.