Formal Verification Engineer Google Cloud jobs at Google in Israel, Tel Aviv-yafo

Are you an experienced software engineer looking to join one of the most innovative and powerful tech companies in the world? Then become a formal verification engineer atGoogle Cloud in Tel Aviv-Yafo, Israel! At Google Cloud, we develop cutting-edge technology solutions that drive progress and empower people. As a formal verification engineer, you will join a fast-paced engineering team that is creating one of the most revolutionary business solutions in the tech industry. As a formal verification engineer you will be responsible for a wide range of duties. You will be required to design and develop tests for verifying functionality of hardware designs, write software to automatically apply tests, and collaborate with other teams to integrate the tests within the test environment. Additionally, you will create and maintain a database of test results and help design the methodology for test execution. In order to be successful in this role, you must have a great understand of the fundamentals of digital design, and be familiar with hardware description language (such as VHDL or Verilog). A current understanding of formal verification techniques and methodologies, as well as direct experience in developing tests using formal verification and testbench automation tools would be an advantage. At Google Cloud, you will be working with the most experienced software engineers and technology experts to develop integrative and innovative solutions. You will be given the tools and resources to help you succeed in this role. For the right candidate, Google Cloud offers an exciting and dynamic atmosphere, a competitive salary, benefits and benefits packages. If you are excited about joining Google Cloud and working as a formal verification engineer in Tel Aviv-Yafo, Israel, then join Expoint and apply today!