CPU - Processor Formal Verification Engineer
📌Bengaluru, India 🇮🇳
⏱︎ full-time
🧙♂️ senior
As a CPU Processor Verification Engineer , you’ll get to work on the systems that are driving the quantum revolution and the AI era. Join an elite team of engineering professionals who enable customers to make better decisions quicker on the most trusted hardware platform in today’s market.
Your Role And Responsibilities
- As a Formal verification engineer, you will be working on IBM server processors/SOC or ASICs used in IBM servers.
- Develop the verification environment and test bench and creating testcases.
- Develop skills in IBM Formal verification tools and methodologies.
-
Work with design as well as other key stakeholders in resolving/debugging logic design issues and deliver a quality design
Master's Degree
Required Technical And Professional Expertise
- 5 – 10 years of relevant industry experience
- Proven experience in Formal/Functional Verification - Demonstrated execution experience of verification of logic blocks verification.
- Knowledge of formal methodology, Knowledge of HDLs (Verilog, VHDL, SV), Good programming skills in python, processor core u-arch skills
- Exposure in developing testbench environment, debugging and triaging fails.
- Good communication skills and be able to work effectively in a global team environment.
- Drive verification coverage closure, lead verification team.
- Drive complex scenarios, participate in High level design discussions.
-
Track record in leading teams.
- Writing test plans, building random / exhaustive formal verification environment, functional and coverage analysis and debug.
- Good understanding of the Server System
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
Senior CPU Subsystem RTL Design Engineer, Silicon
@ Google, 📍India 🇮🇳
CPU Performance and Power Analyst/Lead Engineer
@ Qualcomm, 📍India 🇮🇳
Lead CPU Performance Analysis Engineer
@ Qualcomm, 📍India 🇮🇳
CPU Performance Modeling Architect
@ Qualcomm, 📍India 🇮🇳
Lead CPU Performance Projections Engineer
@ Qualcomm, 📍India 🇮🇳
CPU Physical Design Timing Engineer
@ Qualcomm, 📍India 🇮🇳
Lead CPU Performance Projections Engineer
@ Qualcomm, 📍India 🇮🇳
Staff CPU RTL Design Engineer
@ Google, 📍India 🇮🇳
CPU Physical Design Engineer
@ Qualcomm, 📍India 🇮🇳
CPU RTL Engineer
@ Google, 📍India 🇮🇳
-
Employment
⏱︎ full-time
-
Experience
🧙♂️ senior
-
Skills
-
Industry
-
Find similar jobs
Senior CPU Subsystem RTL Design Engineer, Silicon
@ Google, 📍India 🇮🇳
CPU Performance and Power Analyst/Lead Engineer
@ Qualcomm, 📍India 🇮🇳
Lead CPU Performance Analysis Engineer
@ Qualcomm, 📍India 🇮🇳
CPU Performance Modeling Architect
@ Qualcomm, 📍India 🇮🇳
Lead CPU Performance Projections Engineer
@ Qualcomm, 📍India 🇮🇳
CPU Physical Design Timing Engineer
@ Qualcomm, 📍India 🇮🇳
Lead CPU Performance Projections Engineer
@ Qualcomm, 📍India 🇮🇳
Staff CPU RTL Design Engineer
@ Google, 📍India 🇮🇳
CPU Physical Design Engineer
@ Qualcomm, 📍India 🇮🇳
CPU RTL Engineer
@ Google, 📍India 🇮🇳