CPU Formal Verification Engineer (Hardware)

TL;DR

CPU Formal Verification Engineer (Hardware): Ensuring the quality and reliability of cutting-edge CPU technologies through formal verification methodologies with an accent on microarchitecture block validation and complex proof strategies. Focus on developing abstraction models, debugging design issues, and collaborating with cross-functional teams to deliver high-performance silicon solutions.

Location: Must be based in the US (Hillsboro, Phoenix, Folsom, Santa Clara, or Austin) with a hybrid work model.

Salary: $164,470–$311,890 USD

Company

A global leader in semiconductor technology, creating world-changing hardware and platform solutions.

What you will do

• Own the formal verification of microarchitecture blocks and critical CPU design aspects.
• Develop comprehensive formal verification strategies, plans, and proofs.
• Create abstraction models to simplify design complexity and ensure validation convergence.
• Collaborate with architects, RTL developers, and physical design teams to enhance efficiency.
• Analyze, debug, and resolve issues identified during the verification process.
• Mentor junior engineers and contribute to technical growth within the team.

Requirements

• Must be based in the US.
• Bachelor's degree with 8+ years, Master's with 6+ years, or PhD with 4+ years of relevant experience.
• Proficiency in formal verification tools such as JasperGold, Questa Formal, or VC Formal.
• Strong understanding of computer architecture, microarchitecture, and memory systems.
• Hands-on experience with hardware modeling languages like System Verilog or Verilog.
• Proficiency in scripting or programming languages such as Python, Perl, C/C++, or TCL.

Nice to have

• Familiarity with x86 architecture, ISA, and system architecture.
• Experience with post-silicon validation and debugging.
• Demonstrated technical innovation through research publications or patents.

Culture & Benefits

• Competitive total compensation package including stock bonuses.
• Comprehensive health and retirement benefit programs.
• Flexible hybrid work model.
• Opportunities to work on industry-leading, world-changing technology.