Formal Verification Engineer

Introduction

At IBM Infrastructure & Technology, we build and run the systems that help keep the world operating. Our work spans high-resiliency mainframes, hybrid cloud platforms, networking, automation, and site reliability. We enable the performance, security, and scalability that clients and industries rely on every day. In Infrastructure & Technology, you’ll tackle challenging problems through curiosity and teamwork, working with a wide range of technologies and colleagues worldwide to deliver resilient, future-ready solutions that support innovation. With ongoing learning, career advancement, and a collaborative culture, IBM offers the chance to expand your expertise and help shape the infrastructure driving progress.

Your Role And Responsibilities

As an IBM Formal Verification Lead, you will play a key role in verifying next-generation IBM server-class processors, SoCs, and ASICs. Your contributions will help ensure high-quality, dependable hardware delivery.

• Lead formal verification efforts for complex processor/SoC/ASIC designs used in IBM server platforms.
• Define and execute verification strategy, including property development, proof planning, and coverage closure.
• Build and maintain scalable formal verification environments, testbenches, and reusable verification components.
• Create high-quality test scenarios and properties to verify functional correctness comprehensively.
• Use IBM formal verification tools, methodologies, and best practices to reach efficient verification closure.
• Partner with design, architecture, and validation teams to troubleshoot 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.
• Demonstrated experience with formal and/or functional verification, including execution on logic block verification.
• Strong understanding of formal verification methodologies and tools.
• Working knowledge of HDLs (Verilog, VHDL, SystemVerilog) and assertion-based verification (SVA).
• Experience creating 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 leading verification efforts or mentoring engineers.
  
  

Preferred Technical And Professional Experience

• Proven ability to drive verification coverage closure and ensure signoff readiness.
• Experience leading verification teams and delivering across milestones.
• Capability to manage 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 history of technical leadership and team mentorship.
• Strong debugging, analytical, and problem-solving skills.