Formal Verification Engineer ב־Apple | גוזלי