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

# Senior CPU Formal Verification Engineer, SiliconGoogle • onsite • 500 W 2nd St, Austin, TX 78701, USA • full\_timePay: USD 156000.00 - USD 229000.00 / unspecifiedBusinesses of all shapes and sizes rely on Google’s unparalleled advertising solutions to help them grow in today's dynamic marketing environment. You bring a passion for sales, knowledge of online media, and commitment to maximize customer success. You act like an owner, move with velocity through change, finding innovative and strategic ways to consistently deliver extraordinary and incremental outcomes for both Google and your customers. You build trusted relationships with customers, uncovering their business needs and translating them into powerful solutions to achieve their most ambitious goals. You achieve as a team with sellers, shape the future of advertising in the AI-era, and make a real impact on the millions of companies and billions of users that trust Google with their most important goals.Responsibilities:Manage a portfolio of businesses and develop a comprehensive understanding of their business challenges, marketing objectives, and success metrics.Businesses of all shapes and sizes rely on Google’s unparalleled advertising solutions to help them grow in today's dynamic marketing environment. You bring a passion for sales, knowledge of online media, and commitment to maximize customer success. You act like an owner, move with velocity through change, finding innovative and strategic ways to consistently deliver extraordinary and incremental outcomes for both Google and your customers. You build trusted relationships with customers, uncovering their business needs and translating them into powerful solutions to achieve their most ambitious goals. You achieve as a team with sellers, shape the future of advertising in the AI-era, and make a real impact on the millions of companies and billions of users that trust Google with their most important goals.As a GCS Account Strategist, you will be a seller to GCS’ strategic customers. With a more focused portfolio of clients, you will gain a deep understanding of their clients’ marketing objectives and build short- and medium-term (1–6 month) strategies to meet those goals, in part by improving campaign performance, implementing best practices, driving Google product adoption, and influencing customer budgets.Google Customer Solutions (GCS) sales teams are trusted advisors and competitive sellers who maintain a relentless focus on customer success by bringing the best Google has to offer to small- and medium-sized businesses (SMBs), which are the backbone of our communities. As a member of our team, you’ll have the opportunity to work with company owners and make a real difference in their businesses by helping them grow. Together, we help shape the future of innovation for customers, partners, and sellers...and we have fun doing it.