Comment by whattheheckheck

Yes the bar will be raised to formal verification and actually strong mathematical proof skills to be a real software engineer