Formal Verification Engineer Apple