Senior Formal Verification Engineer at Auradine — EarlySignal