Formal Verification Engineer

IBM; Bengaluru; Presencial; INR 3.500.000 - 7.000.000; Jornada completa

Descripción de la vacante

IBM Infrastructure & Technology in Bengaluru seeks a Senior Formal Verification Lead to drive verification for next‑gen processor/SoC/ASIC designs in IBM server platforms.

You will lead verification strategies, build scalable environments, mentor engineers, and collaborate with design, architecture, and validation teams to ensure high-quality, production-ready hardware solutions.

Formación

• 5–7 years of experience in semiconductor design/verification.
• Proven track record in formal or functional verification with logic block verification.
• Strong knowledge of formal verification methods and tools.
• Good understanding of HDL languages and SVA.

Responsabilidades

• Lead formal verification efforts for processor/SoC/ASIC designs used in IBM server platforms.
• Define verification strategy, including property development, proof planning, and coverage closure.
• Develop scalable verification environments and testbenches.
• Create test scenarios ensuring functional correctness.
• Apply IBM verification tools and practices to achieve closure.
• Collaborate with design, architecture, and validation teams to debug issues.
• Drive quality metrics, signoff readiness, and production-quality designs.

Conocimientos

Formal verification

Python scripting

HDL (Verilog/VHDL/SystemVerilog)

SystemVerilog Assertions (SVA)

Cross-functional collaboration

Mentorship / leadership

Debugging and problem solving

Educación

Master's Degree

Herramientas

IBM formal verification tools

Descripción del empleo

Introduction

At IBM Infrastructure & Technology, we design and operate the systems that keep the world running. From high-resiliency mainframes and hybrid cloud platforms to networking, automation, and site reliability. Our teams ensure the performance, security, and scalability that clients and industries depend on every day. Working in Infrastructure & Technology means tackling complex challenges with curiosity and collaboration. You’ll work with diverse technologies and colleagues worldwide to deliver resilient, future-ready solutions that power innovation. With continuous learning, career growth, and a supportive culture, IBM provides the opportunities to build expertise and shape the infrastructure that drives progress.

Introduction

At IBM Infrastructure & Technology, we design and operate the systems that keep the world running. From high-resiliency mainframes and hybrid cloud platforms to networking, automation, and site reliability. Our teams ensure the performance, security, and scalability that clients and industries depend on every day. Working in Infrastructure & Technology means tackling complex challenges with curiosity and collaboration. You’ll work with diverse technologies and colleagues worldwide to deliver resilient, future-ready solutions that power innovation. With continuous learning, career growth, and a supportive culture, IBM provides the opportunities to build expertise and shape the infrastructure that drives progress.

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.

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 Professional 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 environment.
• Demonstrated track record of technical leadership and team mentorship.
• Strong debugging, analytical, and problem-solving capabilities.