IBM Labs-Bangalore_Formal Verification_8 to 12+years

Formal Verification Lead  

Work Location: Bangalore.

Experience: 8 to 12+years

Role and Responsibilities

At IBM, we are driven by innovation and excellence in system design. As a Formal Verification Lead, you will contribute to the verification of next-generation IBM server-class processors, SoCs, and ASICs, ensuring delivery of high-quality, reliable hardware solutions.

* Lead formal verification efforts for complex processor/SoC/ASIC designs used in IBM server platforms.
* Define and drive verification strategy, including property development, proof planning, and coverage closure.
* Develop and maintain scalable formal verification environments, testbenches, and reusable verification components.
* Create high-quality test scenarios and properties to ensure comprehensive functional correctness.
* Apply IBM formal verification tools, methodologies, and best practices to achieve efficient verification closure.
* Collaborate closely with design, architecture, and validation teams to debug and resolve logic/design issues.
* Drive quality metrics, ensure signoff readiness, and deliver production-quality designs.
* Mentor junior engineers and promote best practices within the verification team.

Required Professional and Technical Expertise

* 8-12 years of relevant industry experience in semiconductor design/verification.
* Proven experience in formal and/or functional verification, with demonstrated execution on logic block verification.
* Strong knowledge of formal verification methodologies and tools.
* Good understanding of HDLs (Verilog, VHDL, SystemVerilog) and assertion-based verification (SVA).
* Experience in developing verification environments/testbenches, debugging failures, and triaging issues.
* Strong programming skills in Python (or equivalent scripting languages).
* Solid understanding of processor/core micro-architecture.
* Ability to collaborate effectively across cross-functional teams.

* Experience with IBM internal tools/flows (or equivalent industry-standard formal tools).
* Exposure to high-performance processor or server-class SoC verification.
* Prior experience in leading verification efforts or mentoring engineers.

Required details

1. Current annual Fixed pay-

2. Variable Pay/Annual Bonus-

3. Unvested RSU & vesting period-

4. Expected Base/Fixed pay-

5. Notice Period (if serving-LWD)-

6. Any offer in hand and offered Base/Fixed pay-

7. Current location-

8. Total years of experience-