Formal Verification Engineer jobs