Principal Verification Engineer and Lead at ARM · Trevo