SoC Formal Verification Engineer, Google Cloud
📌Haifa District, Israel 🇮🇱
⏱︎ full-time
🧙♂️ mid-level
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
- 4 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management.
-
Experience capturing design specification in a temporal assertion language (e.g., System Verilog Assertions (SVA) or Property Specification Language (PSL)).
- Master's degree or PhD in Electrical Engineering or Computer Science, or a related field.
-
Experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or Display and Video 360).
Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.
The ML, Systems, & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.
We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Cloud’s Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.
Responsibilities
- Plan the formal verification strategy and create the properties and constraints for digital design blocks.
- Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
- Contribute improvements to methodologies to enhance formal verification results.
-
Architect and implement reusable formal verification components.
Senior Embedded Software Engineer
@ Embedd 
What we're looking for
At embedd.it, we power hardware-software integration in embedded devices. We turn fragmented semiconductor chip data into configurable digital twins, then deterministically generate code, tests, and documentation – making integration faster, cheaper, and resilient to supply chain shocks.
We’re looking for a true legend – someone with abstract thinking and deep expertise in low-level software development. You’ll build vendor-agnostic tooling for MCU and peripheral integration to solve hardware-software integration once and for all. We work at the intersection of embedded systems, code generation, compilers, and machine learning. It’s your chance to help redefine how low-level development is done.
Responsibilities
- Drive the architecture of the driver structures and system layout
- Define scalable patterns for cross-architectural integration across bare-metal, Zephyr, Linux, and other environments
- Deconstruct complex SoC device trees and translate hardware descriptions into structured internal models for automated reasoning
- Partner with the ML team to shape data and annotation models for AI-driven data-extraction tooling
Qualifications
- 5+ years of experience in embedded systems development, including bare-metal and RTOS-based systems
- Proficiency in C/C++
- Familiarity with firmware configuration, SoC bring-up, and system-level debugging
- Hands-on experience with code generation tools, or low-level compiler/decompiler/emulator technologies
- Strong background in embedded toolchains: compilers, linkers, debuggers, and build systems
- Python or scripting for automation and tooling is a plus
- Experience with functional-safety standards is a plus
Why embedd.it?
- Dynamic, venture-backed team of engineers challenging the status quo 🚀
- Work at the intersection of embedded systems, code generators, compilers, and ML 🤖
- Unusual challenges requiring out-of-the-box abstract thinking 🧠
- Competitive compensation: cash + equity 💰
- Remote work possible 🌍
About Us
embedd.it is a UK-based startup reinventing embedded development. Our platform transforms unstructured semiconductor data into structured digital twins, enabling automatic generation of drivers, tests, and documentation. We're building a single, traceable source of truth to make integration fast, vendor-agnostic, and future-proof.
Other similar jobs
Wifi Mac RTL Design Engineer
@ Qualcomm, 📍Israel 🇮🇱
Hardware Development Engineer, Amazon Robotics R&D
@ Amazon, 📍Israel 🇮🇱
GPU Silicon Design Engineer - New Graduate
@ AMD, 📍Israel 🇮🇱
Hardware/firmware Engineer
@ NTT DATA Europe & Latam, 📍Israel 🇮🇱
PCB Layout Design Manager
@ NVIDIA, 📍Israel 🇮🇱
Lead CAD Designer - PCB
@ Honeywell, 📍Israel 🇮🇱
GPU Design Engineer- Sr Staff
@ Qualcomm, 📍Israel 🇮🇱
CPU Systems RTL Engineer
@ Qualcomm, 📍Israel 🇮🇱
Principal Hardware Engineer, Weather Radar
@ Honeywell, 📍Israel 🇮🇱
CPU Hardware Emulation Engineer, Google Cloud
@ Google, 📍Israel 🇮🇱
-
Employment
⏱︎ full-time
-
Experience
🧙♂️ mid-level
-
Skills
-
Industry
-
Find similar jobs
Wifi Mac RTL Design Engineer
@ Qualcomm, 📍Israel 🇮🇱
Hardware Development Engineer, Amazon Robotics R&D
@ Amazon, 📍Israel 🇮🇱
GPU Silicon Design Engineer - New Graduate
@ AMD, 📍Israel 🇮🇱
Hardware/firmware Engineer
@ NTT DATA Europe & Latam, 📍Israel 🇮🇱
PCB Layout Design Manager
@ NVIDIA, 📍Israel 🇮🇱
Lead CAD Designer - PCB
@ Honeywell, 📍Israel 🇮🇱
GPU Design Engineer- Sr Staff
@ Qualcomm, 📍Israel 🇮🇱
CPU Systems RTL Engineer
@ Qualcomm, 📍Israel 🇮🇱
Principal Hardware Engineer, Weather Radar
@ Honeywell, 📍Israel 🇮🇱
CPU Hardware Emulation Engineer, Google Cloud
@ Google, 📍Israel 🇮🇱