I

Formal Verification Engineer

IBM

Bangalore, India, India Full-time May 29, 2026
Apply Now

Opportunity Description

**Introduction**
As a CPU Processor Verification Engineer , you’ll get to work on the systems that are driving the quantum revolution and the AI era. Join an elite team of engineering professionals who enable customers to make better decisions quicker on the most trusted hardware platform in today’s market.
**Your role and responsibilities**
As a Formal verification engineer, you will be working on IBM server processors/SOC or ASICs used in IBM servers.
* Develop the verification environment and test bench and creating testcases.
* Develop skills in IBM Formal verification tools and methodologies.
* Work with design as well as other key stakeholders in resolving/debugging logic design issues and deliver a quality design
**Required technical and professional expertise**
* 8 - 12 years of relevant industry experience

* Proven experience in Formal/Functional Verification - Demonstrated execution experience of verification of logic blocks verification.
Full-time other-general

Ready to Apply?

Submit your application for Formal Verification Engineer at IBM

Apply for this Position