Formal Verification Engineer

About the role

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.

What you'll do

• Working in Infrastructure & Technology means tackling complex challenges with curiosity and collaboration
• Work with diverse technologies and colleagues worldwide to deliver resilient, future-ready solutions that power innovation
• 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

What you need

• Verilog
• Python
• Test cases