Principal Formal Verification Engineer at Nvidia · Trevo