Formal Verification Engineer