Principal Verification Engineer and Lead ב-ARM · Trevo