Job ID 2026-19076 Date posted Aug. 11, 2026 Location Bengaluru, India Category Hardware Engineering, Verification

Formal Verification Engineer
About Solutions SoC Engineering

Join the Solutions SoC Engineering organization and help shape the future of silicon. We are building a world-class engineering organization focused on delivering innovative, high-performance, and energy-productive SoC solutions that power next-generation computing across diverse markets.

As a rapidly growing global team, we bring together expertise across architecture, design, verification, emulation, FPGA, software, and post-silicon validation to deliver first-time-right silicon. Our engineers solve some of the industry's most challenging engineering problems using advanced verification methodologies, automation, and AI-driven tools while maintaining the highest standards of quality and execution.

Our culture is built on technical excellence, ownership, collaboration, and continuous learning. We invest in our people, encourage innovation, and provide opportunities to influence engineering methodologies,



contribute across the product lifecycle, and grow alongside an organization that is defining the future of SoC engineering.
Role Overview

As a Formal Verification Engineer, you will apply state-of-the-art formal verification methodologies to complex IPs, subsystems, and SoCs. You will develop proof strategies, assertions, and scalable methodologies that improve design quality and accelerate verification closure.
Key Responsibilities
- Develop and execute formal verification strategies for IP, subsystem, and SoC designs.
- Develop SystemVerilog Assertions (SVA) and formal properties.
- Apply property checking, protocol verification, equivalence checking, and formal analysis.
- Own verification deliverables from planning through verification closure while ensuring quality, schedule, and execution commitments are met.
- Architect, develop, and maintain reusable verification environments, veri

📌 Senior SoC Formal verification Engineer (Bengaluru)
🏢 ARM
📍 Bengaluru