Skip to main contentA logo with &quat;the muse&quat; in dark blue text.

CPU - Processor Formal Verification Engineer

AT IBM
IBM

CPU - Processor Formal Verification Engineer

YesterdayBangalore, India

Viewed on April 13, 2025

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

Want more jobs like this?

Get Software Engineering jobs in Bangalore, India delivered to your inbox every week.

By signing up, you agree to our Terms of Service & Privacy Policy.

Required education

Bachelor's Degree

Preferred education

Master's Degree

Required technical and professional expertise

  • 5 - 10 years of relevant industry experience
  • Proven experience in Formal/Functional Verification - Demonstrated execution experience of verification of logic blocks verification.
  • Knowledge of formal methodology, Knowledge of HDLs (Verilog, VHDL, SV), Good programming skills in python, processor core u-arch skills
  • Exposure in developing testbench environment, debugging and triaging fails.
  • Good communication skills and be able to work effectively in a global team environment.
  • Drive verification coverage closure, lead verification team.
  • Drive complex scenarios, participate in High level design discussions.
  • Track record in leading teams.

Preferred technical and professional experience

  • Writing test plans, building random / exhaustive formal verification environment, functional and coverage analysis and debug.
  • Good understanding of the Server System

ABOUT BUSINESS UNIT

IBM Systems helps IT leaders think differently about their infrastructure. IBM servers and storage are no longer inanimate - they can understand, reason, and learn so our clients can innovate while avoiding IT issues. Our systems power the world's most important industries and our clients are the architects of the future. Join us to help build our leading-edge technology portfolio designed for cognitive business and optimized for cloud computing.

YOUR LIFE @ IBM

In a world where technology never stands still, we understand that, dedication to our clients success, innovation that matters, and trust and personal responsibility in all our relationships, lives in what we do as IBMers as we strive to be the catalyst that makes the world work better.

Being an IBMer means you'll be able to learn and develop yourself and your career, you'll be encouraged to be courageous and experiment everyday, all whilst having continuous trust and support in an environment where everyone can thrive whatever their personal or professional background.

Our IBMers are growth minded, always staying curious, open to feedback and learning new information and skills to constantly transform themselves and our company. They are trusted to provide on-going feedback to help other IBMers grow, as well as collaborate with colleagues keeping in mind a team focused approach to include different perspectives to drive exceptional outcomes for our customers. The courage our IBMers have to make critical decisions everyday is essential to IBM becoming the catalyst for progress, always embracing challenges with resources they have to hand, a can-do attitude and always striving for an outcome focused approach within everything that they do.

Are you ready to be an IBMer?

ABOUT IBM

IBM's greatest invention is the IBMer. We believe that through the application of intelligence, reason and science, we can improve business, society and the human condition, bringing the power of an open hybrid cloud and AI strategy to life for our clients and partners around the world.

Restlessly reinventing since 1911, we are not only one of the largest corporate organizations in the world, we're also one of the biggest technology and consulting employers, with many of the Fortune 50 companies relying on the IBM Cloud to run their business.

At IBM, we pride ourselves on being an early adopter of artificial intelligence, quantum computing and blockchain. Now it's time for you to join us on our journey to being a responsible technology innovator and a force for good in the world.

IBM is proud to be an equal-opportunity employer. All qualifiedapplicants will receive consideration for employment without regard to race,color, religion, sex, gender, gender identity or expression, sexualorientation, national origin, caste, genetics, pregnancy, disability,neurodivergence, age, veteran status, or other characteristics. IBM is alsocommitted to compliance with all fair employment practices regardingcitizenship and immigration status.

OTHER RELEVANT JOB DETAILS

When applying to jobs of your interest, we recommend that you do so for those that match your experience and expertise. Our recruiters advise that you apply to not more than 3 roles in a year for the best candidate experience. For additional information about location requirements, please discuss with the recruiter following submission of your application.

Client-provided location(s): Bengaluru, Karnataka, India
Job ID: IBM-21227
Employment Type: Other

Company Videos

Hear directly from employees about what it is like to work at IBM.