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