Spanish bilingual and Hispanic jobs since 1997. Diversity job fairs since 2006. employers     login   |   register - post a job
Hispanic Diversity Recruitment - best jobs for hispanic, latino & bilingual (spanish & portuguese) jobseekers
    Log me in!   |   Site Map   |   Help   
 Senior CPU Formal Verification Engineer - San Diego, California, United States

Job information
Posted by: Apple 
Hiring entity type: Retail 
Work authorization: Not Specified for United States
Position type: Direct Hire, Full-Time 
Compensation: ******
Benefits: See below
Relocation: Not specified 
Position functions: Computers - Programming Languages
Computers - Platforms
Computers - Networks
Computers - Software Engineer
Travel: Unspecified 
Accept candidates: from anywhere 
Languages: English - Fluent
Minimum education: See below 
Minimum years experience: See below 
Resumes accepted in: English
Cover letter: No cover letter requested
Job code: 200310191 / Latpro-3839216 
Date posted: Nov-07-2021
State, Zip: California, 92101


Senior CPU Formal Verification Engineer

San Diego , California , United States



Posted: Nov 6, 2021

Role Number: 200310191

At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, hard-working people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with Apple products powered by Apple Silicon. The same passion for innovation that goes into our products also applies to our practices strengthening our commitment to leave the world better than we found it. Join us to help deliver the next groundbreaking Apple CPU. Do you have experience being at the center of a CPU design verification effort collaborating with design? Are you passionate about changing the world? We have a critical impact on getting high quality functional products to millions of customers quickly and we are hiring all levels.

Key Qualifications

  • Advanced knowledge of VLSI, and digital logic design and verification techniques
  • Developed formal property proofs on industrial strength designs and architectures
  • Understanding of at least one of three domains in application processors (CPU/GPU)- Instruction Set Architectures (ISA), Memory Consistency Models (MCM) and Cache Coherence protocols is desirable but not necessary
  • Exposure to ARM type architectures is desirable but not necessary
  • Confirmed understanding of formal verification technologies/abstraction techniques
  • Knowledge and experience in interpreting hardware specifications and using temporal logic assertion-based languages such as SVA or PSL
  • Experience in using EDA formal tools and tool development experience is a plus
  • Proficiency in any scripting language with excellent debugging skills
  • Extraordinary teammate with excellent interpersonal skills
  • Passionate about developing world-class/innovative formal verification solutions


As a formal verification architect leading the complete formal verification for single or multiple Apple CPU design blocks you will be responsible for: Working with Apple's world-class CPU design engineers to develop a formal micro-architecture specification Formalizing the refinement from architecture to u-architecture. Developing comprehensive formal verification test plan. Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture. Crafting novel and creative solutions for verifying complex design micro-architectures. Developing and implementing re-usable and optimized formal models and verification code base. Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.

Education & Experience

Bachelor's, Master's, or Ph.D in Electrical Engineer or Computer Science is required


See job description


Apple requires you to fill in their on-line form which will open in a different window.

Enter your email address and click 'Apply':
  Prefer not to enter your email?