> Markdown version of [/jobs/ext/1489772-asic-formal-verification-engineer-google-cloud](https://www.wearedevelopers.com/jobs/ext/1489772-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 - $197,000.0
- **Contract:** Permanent contract
- **Skills:** Computer Engineering, Logic Synthesis of Circuits, Formal Verification, SystemVerilog, Verilog, Scripting, Google Cloud, Application Specific Integrated Circuits, Information Technology
- **Published:** July 29, 2026
- **Apply:** https://dejobs.org/x/x/D17FFB8E53B24FECA305E2F64877D573/job/

## About the Role

Experience driving progress, solving problems, and mentoring more junior team members; deeper expertise and applied knowledge within relevant area., * 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.


## 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)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [JavaScript? No. Java Scripts! - Scripting with Java](https://www.wearedevelopers.com/videos/2094-javascript-no-java-scripts-scripting-with-java)
- [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)
- [Cloud Run- the rise of serverless and containerization](https://www.wearedevelopers.com/videos/106-cloud-run-the-rise-of-serverless-and-containerization)
- [Intermediate Bitcoin Script](https://www.wearedevelopers.com/videos/25-intermediate-bitcoin-script)

## 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)
- [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering)
- [Software Engineer Salary London](https://www.wearedevelopers.com/magazine/252-software-engineer-salary-london)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)