Senior CPU Formal Verification Engineer - Silicon

Epic Games (Portuguese); Austin (TX); On-site; USD 156,000 - 229,000; Full time

Job summary

Google is seeking a Senior CPU Formal Verification Engineer to join our onsite team in Austin, TX. You will contribute to the verification of complex CPU silicon designs, shaping the formal verification strategy across critical projects.

Responsibilities include developing formal models and properties, proving design correctness with formal methods, and collaborating with design teams to drive reliable, high-quality outcomes for Google's hardware initiatives.

Qualifications

• Strong background in formal verification methods and CPU architectures.
• Experience with model checking, equivalence checking, or SMT-based proving.

Responsibilities

• Develop formal models and properties for CPU cores and subsystems.
• Prove correctness of designs using formal verification techniques and tools.
• Collaborate with CPU design and validation teams to integrate formal results into the verification flow.

Job description

Google is seeking a Senior CPU Formal Verification Engineer to join our onsite team in Austin, TX. You will contribute to the verification of complex CPU silicon designs, shaping the formal verification strategy across critical projects.

Responsibilities include developing formal models and properties, proving design correctness with formal methods, and collaborating with design teams to drive reliable, high-quality outcomes for Google's hardware initiatives.