Description
Apple is hiring a Formal Verification Engineer in Waltham, Massachusetts, to use functional and formal verification to deliver bug-free features. The role develops test and coverage plans, verification environments, regression suites, and block, IP, and SoC test benches; executes verification; debugs failures; and tracks bugs and coverage. It requires a master’s degree in Computer Engineering or a related field, SystemVerilog, UVM, regression, debugging, coverage analysis, Python/Perl/Tcl automation, and formal verification tools. The position is 40 hours per week and offers a base pay range of $123,850 to $175,200 per year, plus medical and dental coverage and other benefits.
