> I regularly have to design complex systems and also do correctness proofs for isolated functions.

So just like any other engineering job?