Formal Verification Engineer at Harmonic — EarlySignal