About Google
Empowering the world through technology and information
Key Highlights
- Over 100,000 employees globally
- Headquartered in Mountain View, California
- Parent company Alphabet Inc. valued at $1.5 trillion
- Google Cloud Platform serves millions of customers
Google LLC, headquartered in Mountain View, California, is a global leader in internet-related services and products, including its flagship search engine, Google Search, and the Android operating system. With over 100,000 employees, Google also offers cloud computing services through Google Cloud P...
🎁 Benefits
Google offers competitive salaries, equity options, generous PTO policies, comprehensive health benefits, and a remote work policy that allows flexibi...
🌟 Culture
Google is known for its engineering-first culture, emphasizing innovation and collaboration. The company fosters a unique environment that encourages ...
Skills & Technologies
Overview
Google is hiring a Senior CPU Formal Verification Engineer to verify digital logic for ASICs and contribute to custom silicon solutions. You'll work with SystemVerilog and formal verification tools across multiple locations including Austin and Mountain View.
Job Description
Who you are
You have a Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. With 8 years of experience verifying digital logic at RTL using SystemVerilog for ASICs, you are well-versed in capturing design specifications in temporal assertion languages like SVA or PSL. Your expertise extends to using various Design Verification industry formal verification tools such as JasperGold, VC Formal, and Questa Formal. A Master's degree or PhD in a relevant field is preferred, especially with an emphasis on computer architecture. You have experience applying formal techniques on processor designs or cache coherency designs, and a solid understanding of model checking and formal verification algorithms.
What you'll do
As a Senior CPU Formal Verification Engineer, you will be part of a team that pushes boundaries in developing custom silicon solutions that power Google's direct-to-consumer products. You will solve complex problems ranging from assertion properties to data-path vs model proofs, and ensure formal signoff of various units of a Central Processing Unit (CPU) design. Your role will involve architecting and implementing reusable formal verification components, contributing improvements to methodologies to enhance formal verification results. You will also enable broad use of formal techniques by mentoring and educating the full CPU team, ensuring that your expertise shapes the next generation of hardware experiences that deliver unparalleled performance and efficiency.
What we offer
At Google, you will be part of a mission-driven team that combines the best of AI, software, and hardware to create radically helpful experiences. You will contribute to innovations that impact millions of users worldwide, making their lives better through technology. We encourage you to apply even if your experience doesn't match every requirement, as we value diverse perspectives and backgrounds. Join us in shaping the future of computing and enjoy a collaborative work environment that fosters growth and creativity.
Interested in this role?
Apply now or save it for later. Get alerts for similar jobs at Google.
Similar Jobs You Might Like
Based on your interests and this role
Cpu Design Verification Engineer
Google is hiring a Senior CPU Design Verification Engineer to develop custom silicon solutions that power innovative products. You'll work with UVM, SystemVerilog, and various scripting languages to ensure the performance and quality of modern processors. This position requires 8 years of experience in functional verification and processor microarchitecture.
Formal Verification Engineer
Waymo is hiring a Senior Formal Verification Engineer to define and drive formal strategy for silicon success. You'll work on complex IP and SoC designs. This position requires expertise in formal verification methodologies.
Cpu Design Verification Engineer
Apple is hiring a CPU Design Verification Engineer to verify the functional correctness of CPU designs. You'll work closely with architecture and RTL designers, developing test plans and environments using C and SystemVerilog. This position requires 3+ years of relevant industry experience.
Cpu Design Verification Engineer
Apple is hiring a CPU Design Verification Engineer to verify the functional correctness of CPU designs. You'll work closely with architecture and RTL designers, developing test plans and environments using C and SystemVerilog. This position requires a minimum BS in a related field.
Cpu Design Verification Engineer
Apple is hiring a Senior CPU Design Verification Engineer to verify the functional correctness of CPU designs. You'll work closely with architecture and RTL designers, developing test plans and environments using C and SystemVerilog. This position requires 10+ years of relevant industry experience.