Formal Verification Lead
IBM
Formal Verification Lead
Job Description
Formal Verification Lead
📋 Job Overview
As a Formal Verification Lead at IBM, you will work on systems driving the quantum revolution and AI era, focusing on IBM server processors/SOC or ASICs. You will develop verification environments, test benches, and test cases, collaborating with design teams to resolve logic design issues and ensure quality design delivery.
📍 Location: BANGALORE, IN (Remote/Hybrid)
💼 Career Level: Professional
🎯 Key Responsibilities
- Develop the verification environment and test bench
- Create testcases
- Work with design and other key stakeholders to resolve/debug logic design issues
- Deliver a quality design
- Drive verification coverage closure
- Lead verification team
- Drive complex scenarios
- Participate in high-level design discussions
✅ Required Qualifications
- Proven experience in Formal/Functional Verification
- Demonstrated execution experience of verification of logic blocks
- Knowledge of formal methodology
- Knowledge of HDLs (Verilog, VHDL, SV)
- Good programming skills in Python
- Processor core u-arch skills
⭐ Preferred Qualifications
- Exposure in developing testbench environment
- Debugging and triaging fails
🛠️ Required Skills
- IBM Formal verification tools and methodologies
- Good communication skills
- Ability to work effectively in a global team environment
🎁 Benefits & Perks
- Opportunity to learn and develop career
- Encouragement to be courageous and experiment
- Continuous trust and support in a thriving environment
- Growth-minded culture with openness to feedback and learning
- Collaborative team-focused approach
- Equal-opportunity employment
Locations
- BANGALORE, IN, India (Remote)
Salary
Estimated Salary Rangemedium confidence
2,500,000 - 4,200,000 INR / yearly
Source: ai estimated
* This is an estimated range based on market data and may vary based on experience and qualifications.
Skills Required
- IBM Formal verification tools and methodologiesintermediate
- Good communication skillsintermediate
- Ability to work effectively in a global team environmentintermediate
Required Qualifications
- Proven experience in Formal/Functional Verification (experience)
- Demonstrated execution experience of verification of logic blocks (experience)
- Knowledge of formal methodology (experience)
- Knowledge of HDLs (Verilog, VHDL, SV) (experience)
- Good programming skills in Python (experience)
- Processor core u-arch skills (experience)
Preferred Qualifications
- Exposure in developing testbench environment (experience)
- Debugging and triaging fails (experience)
Responsibilities
- Develop the verification environment and test bench
- Create testcases
- Work with design and other key stakeholders to resolve/debug logic design issues
- Deliver a quality design
- Drive verification coverage closure
- Lead verification team
- Drive complex scenarios
- Participate in high-level design discussions
Benefits
- general: Opportunity to learn and develop career
- general: Encouragement to be courageous and experiment
- general: Continuous trust and support in a thriving environment
- general: Growth-minded culture with openness to feedback and learning
- general: Collaborative team-focused approach
- general: Equal-opportunity employment
Tags & Categories
Answer 10 quick questions to check your fit for Formal Verification Lead @ IBM.
10 Questions
~2 Minutes
Instant Score
Related Books and Jobs
Formal Verification Lead
IBM
Formal Verification Lead
Job Description
Formal Verification Lead
📋 Job Overview
As a Formal Verification Lead at IBM, you will work on systems driving the quantum revolution and AI era, focusing on IBM server processors/SOC or ASICs. You will develop verification environments, test benches, and test cases, collaborating with design teams to resolve logic design issues and ensure quality design delivery.
📍 Location: BANGALORE, IN (Remote/Hybrid)
💼 Career Level: Professional
🎯 Key Responsibilities
- Develop the verification environment and test bench
- Create testcases
- Work with design and other key stakeholders to resolve/debug logic design issues
- Deliver a quality design
- Drive verification coverage closure
- Lead verification team
- Drive complex scenarios
- Participate in high-level design discussions
✅ Required Qualifications
- Proven experience in Formal/Functional Verification
- Demonstrated execution experience of verification of logic blocks
- Knowledge of formal methodology
- Knowledge of HDLs (Verilog, VHDL, SV)
- Good programming skills in Python
- Processor core u-arch skills
⭐ Preferred Qualifications
- Exposure in developing testbench environment
- Debugging and triaging fails
🛠️ Required Skills
- IBM Formal verification tools and methodologies
- Good communication skills
- Ability to work effectively in a global team environment
🎁 Benefits & Perks
- Opportunity to learn and develop career
- Encouragement to be courageous and experiment
- Continuous trust and support in a thriving environment
- Growth-minded culture with openness to feedback and learning
- Collaborative team-focused approach
- Equal-opportunity employment
Locations
- BANGALORE, IN, India (Remote)
Salary
Estimated Salary Rangemedium confidence
2,500,000 - 4,200,000 INR / yearly
Source: ai estimated
* This is an estimated range based on market data and may vary based on experience and qualifications.
Skills Required
- IBM Formal verification tools and methodologiesintermediate
- Good communication skillsintermediate
- Ability to work effectively in a global team environmentintermediate
Required Qualifications
- Proven experience in Formal/Functional Verification (experience)
- Demonstrated execution experience of verification of logic blocks (experience)
- Knowledge of formal methodology (experience)
- Knowledge of HDLs (Verilog, VHDL, SV) (experience)
- Good programming skills in Python (experience)
- Processor core u-arch skills (experience)
Preferred Qualifications
- Exposure in developing testbench environment (experience)
- Debugging and triaging fails (experience)
Responsibilities
- Develop the verification environment and test bench
- Create testcases
- Work with design and other key stakeholders to resolve/debug logic design issues
- Deliver a quality design
- Drive verification coverage closure
- Lead verification team
- Drive complex scenarios
- Participate in high-level design discussions
Benefits
- general: Opportunity to learn and develop career
- general: Encouragement to be courageous and experiment
- general: Continuous trust and support in a thriving environment
- general: Growth-minded culture with openness to feedback and learning
- general: Collaborative team-focused approach
- general: Equal-opportunity employment
Tags & Categories
Answer 10 quick questions to check your fit for Formal Verification Lead @ IBM.
10 Questions
~2 Minutes
Instant Score
Related Books and Jobs