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 effective 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 fu
📌 Formal Verification Engineer (Bengaluru)
🏢 IBM
📍 Bengaluru