Formal Validation Engineer

Apple
USA, CA
Job Description
Apple is seeking a Formal Validation Engineer to develop and implement formal verification methodologies for both design blocks and IP. This role involves working with Apple's design engineers, creating comprehensive test plans, and improving micro-architecture. The position offers 40 hours/week with potential for growth within the company.

Requirements

  • Bachelor's degree in Computer Engineering, Electrical Engineering, Electronics Engineering, or related field.
  • Working with digital hardware design principles.
  • Utilizing model checking-based approaches to verify systems.
  • Utilizing general formal methods principles.
  • Communicating formal verification plans and results to dynamic validation and design partners.

Benefits

  • Comprehensive medical and dental coverage
  • Retirement benefits
  • Discounted products and free services
  • Reimbursement for certain educational expenses
  • Tuition reimbursement
]]>