Your 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.

Required Education:

Bachelor's Degree

Preferred Education:

Master's Degree

Required Technical and Professional Expertise:

- 5-7 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.

Preferred Technical and Skilled Experience:

- Proven ability to drive verification coverage closure and ensure signoff readiness.
- Experience in leading verification teams and delivering across milestones.
- Ability to handle complex verification scenarios and contribute to high-level design discussions.
- Strong communication skills with the ability to work effectively in a global, cross-functional team setting.
- Demonstrated track record of technical leadership and team mentorship.
- Strong debugging, analytical, and problem-solving capabilities.

Years of Experience:5 - 8

📌 Formal Verification Engineer (Bengaluru)
🏢 IBM
📍 Bengaluru