> Markdown version of [/jobs/ext/526796-asic-formal-verification-engineer-google-cloud](https://www.wearedevelopers.com/jobs/ext/526796-asic-formal-verification-engineer-google-cloud). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# ASIC Formal Verification Engineer, Google Cloud

- **Company:** Google LLC
- **Location:** Sunnyvale, CA, United States
- **Experience:** Experienced
- **Salary:** $138,000.0 - $198,000.0
- **Contract:** Permanent contract
- **Skills:** Computer Engineering, Logic Synthesis of Circuits, Formal Verification, Systems Development Life Cycle, SystemVerilog, Verilog, Scripting, Google Cloud, Application Specific Integrated Circuits, Information Technology
- **Published:** June 11, 2026
- **Apply:** https://www.indeed.com/viewjob?jk=85043f9e8fbe896a

## About the Role

Do you have experience in Verification (System development task)?, Do you have a Master's degree?, * Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.

 * 4 years of experience with formal and design verification.
 * Experience with SystemVerilog or Verilog.
 * Experience working with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360-DV)., * Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science.
 * 6 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon-based Integrated Circuits (ICs) and chips.
 * Experience with scripting languages.
 * Excellent communication and collaboration skills.

## Description

* Plan the formal verification strategy, create the properties and constraints for the digital design blocks.
 * Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
 * Resolve difficult to verify properties.
 * Contribute improvements to methodologies to enhance formal verification results.
 * Architect and implement reusable formal verification components.

Google is proud to be an equal opportunity workplace and is an affirmative action employer. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity or Veteran status. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. See also Google's EEO Policy and EEO is the Law. If you have a disability or special need that requires accommodation, please let us know by completing our Accommodations for Applicants form.


## Related Videos

- [The Cloud is Calling: Answer with In-Demand Skills](https://www.wearedevelopers.com/videos/945-the-cloud-is-calling-answer-with-in-demand-skills)
- [JavaScript? No. Java Scripts! - Scripting with Java](https://www.wearedevelopers.com/videos/2094-javascript-no-java-scripts-scripting-with-java)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Intermediate Bitcoin Script](https://www.wearedevelopers.com/videos/25-intermediate-bitcoin-script)
- [Cloud Run- the rise of serverless and containerization](https://www.wearedevelopers.com/videos/106-cloud-run-the-rise-of-serverless-and-containerization)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Related Articles

- [Got AI ideas but no money? Here are 10 free ways to level up your AI skills with Google Cloud](https://www.wearedevelopers.com/magazine/600-got-ai-ideas-but-no-money-here-are-10-free-ways-to-level-up-your-ai-skills-with-google-cloud)
- [Software Engineer Career: Things You Should Know](https://www.wearedevelopers.com/magazine/143-software-engineer-career-things-you-should-know)
- [How to Write a CV and Interview if You Don't Fully Qualify For The Job](https://www.wearedevelopers.com/magazine/183-how-to-write-a-cv-and-interview-if-you-don-t-fully-qualify-for-the-job)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)
- [Quick guide: How to write a Software Developer CV](https://www.wearedevelopers.com/magazine/37-quick-guide-how-to-write-a-software-developer-cv)
- [What Jobs Can You Get with a Software Engineering Degree?](https://www.wearedevelopers.com/magazine/398-what-jobs-can-you-get-with-a-software-engineering-degree)