SF Bay Area Engineering Jobs and Architecture Jobs

EMPLOYER: Apple Inc.

JOB TITLE:          Formal Validation Engineer [Multiple Positions Available]

JOB ID: 2982569  

JOB DESCRIPTION: Apple Inc. has multiple positions available for Formal Validation Engineer in Cupertino, California. Develop formal micro-architecture specifications with System-on-Chip (SOC) and IP design engineers. Develop comprehensive formal verification test plans. Prove properties of design and debug to improve micro-architecture. Craft novel and creative solutions for verifying complex design micro-architecture. Develop and implement re-usable and optimized formal models and verification code bases. Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity. $130,000.00 - $196,500.00/yr.

CONTACT: To apply, email your resume to: jobadv@apple.com, with reference to Job ID: 2982569. Apple is an Equal Employment Opportunity Employer that is committed to inclusion and diversity. We also take affirmative action to offer employment and advancement opportunities to all applicants, including minorities, women, protected veterans, and individuals with disabilities.