<div role="none"> <div> <div aria-hidden="true"><i aria-hidden="true">info_outline</i></div> <span aria-hidden="true">X</span><span role="status" aria-live="polite"></span><span>Note: By applying to this position you will have an opportunity to share your preferred working location from the following: <b>Tel Aviv, Israel; Haifa, Israel</b>.</span> </div> <span role="none"><span role="none"></span></span> </div> <br><h3>Minimum qualifications:</h3> <ul> <li>Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.</li> <li>Experience working on main interconnects, DMA, controllers, and power management.<br> </li> <li>Experience capturing design specification in a temporal assertion language such as SVA or PSL.</li> </ul> <br><h3>Preferred qualifications:</h3> <ul> <li>Master's degree or PhD in Electrical Engineering or Computer Science.</li> <li>Proficiency with scripting languages, such as Python.</li> <li>Knowledge of and experience working with one or more formal verification tools, such as JasperGold, VC Formal, Questa Formal, or 360-DV.</li> <li>Understanding of formal verification algorithms.</li> </ul>

Haifa, Israel

Tel Aviv-Yafo, Israel

A problem isn't truly solved until it's solved for all. Googlers build products that help create opportunities for everyone, whether down the street or across the globe. Bring your insight, imagination and a healthy disregard for the impossible. Bring everything that makes you unique. Together, we can build for everyone.

Mountain View, CA, USA

Google

Formal Verification Engineer, Google Cloud

Our mission is to help high-achieving LGBTQ undergraduates reach their full potential. This year we will serve at least 700 students.

Out for Undergraduate Business Conference, Inc.

Out for Undergrad

Our mission is to help high-achieving LGBTQ+ undergraduates reach their full potential.

Tell us about your professional DNA to get discovered by any company in our network with opportunities relevant to your career goals.

Leverage our network to build your career.

#### Welcome!

Thank you for joining Out for Undergrad Network!

To help us best support you in your search, please take a few minutes to tell us about what you are looking for in your next role. We’ll use this information to connect you to relevant opportunities in the Out for Undergrad network as they come up.

You can always update this information later.

Welcome to the Out for Undergrad talent network

As our companies grow, they look to us to help them find the best talent.

Signal that you'd be interested in working with a Out for Undergrad company to help us put the right opportunities at great companies on your radar. The choice to pursue a new career move is then up to you.

Your professional information is now visible to our team and companies in our network.
We will be in touch when we find a great opportunity for you at one of our companies.

Thanks for signing up

As our companies grow, they look to us to help them find the best talent.
Signal that you'd be interested in working with a Out for Undergrad company to help us put the right opportunities at great companies on your radar. The choice to pursue a new career move is then up to you.

Find Your Dream Job Today

Formal Verification Engineer, Google Cloud

Minimum qualifications:

Preferred qualifications: