Formal Verification Engineer Work