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   
 CPU Formal Verification Engineer - Cupertino, 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: 200310193 / Latpro-3839215 
Date posted: Nov-07-2021
State, Zip: California, 95014


CPU Formal Verification Engineer

Santa Clara Valley (Cupertino) , California , United States



Posted: Nov 6, 2021

Role Number: 200310193

Imagine what you could do here. 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, smart people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all 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. Learn from the best Formal Verification team in the world and acquire experience being at the center of a System-on-a-chip (SoC) 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 from junior to senior roles.

Key Qualifications

  • - Interest in learning and becoming an expert in CPU architecture and micro-architectures, and application of formal verification techniques on Apple CPUs
  • - Detail oriented mindset and desire to overcome challenges is required
  • - Exposure to CPU instruction-set architectures, memory consistency or cache coherence principles
  • - Knowledge of model checking and its application to a software/hardware domain
  • - Or, knowledge of logic design using HDLs like Verilog and VHDL
  • - 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 engineer working the complete formal verification of Apple CPUs, you will be responsible for: Working with Apple Silicon'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?