Join As Formal Verification Engineer At Intel | Apply Now
Job Overview:
| Company | Intel |
|---|---|
| Job Role | Formal Verification Engineer |
| Job ID | JR0287328 |
| Work Location | Bangalore |
| Work Mode | Hybrid |
| Job Type | Full Time |
| Experience | 3+ years |
| Qualification | B.E / B.Tech / M.Tech / PhD |
| Salary | Not disclosed |
| Shift | Shift 1 (India) |
| Careers Page | www.intel.com |
Skills: System Verilog Verilog Formal Verification Model Checking Equivalence Checking BDD DFG

Join Intel as a Formal Verification Engineer in Bangalore
Intel is hiring experienced engineers for its Central Engineering Group in Bangalore. You will apply advanced formal methods to verify interconnect fabrics and protocol bridges.
Who Can Apply?
- Bachelor's degree in Electrical Engineering, Computer Science, or a related field with 4+ years of professional formal verification experience.
- Master's degree in a relevant field with 3+ years of professional formal verification experience.
- PhD graduates with no prior professional experience are also welcome to apply.
- Proficiency in formal verification tools, model checking, and equivalence checking.
- Strong knowledge of System Verilog, Verilog, and logic fundamentals.
About Intel:
Intel Corporation is a global technology leader focused on creating world-changing technology that enables human progress and enriches lives. The Central Engineering Group at Intel drives technology innovation by delivering robust engineering solutions and methodologies across global products.
What You Will Do as Formal Verification Engineer
- Test Plan Execution: Develop and execute formal verification test plans, defining scopes, strategies, and methodologies.
- Abstraction Modeling: Create abstraction models and apply techniques to facilitate convergence on complex designs.
- Proof Validation: Generate and validate proofs to verify designs, troubleshoot failing tests, and implement fixes.
- Cross-Functional Collaboration: Collaborate with architecture, RTL design, and physical implementation teams to improve verification accuracy.
- Tool Maintenance: Maintain and enhance formal verification tools, methodologies, and infrastructure for optimized workflows.
Skills Required:
Hardware Description Languages. Strong understanding and coding proficiency in System Verilog and Verilog.
Verification Methodologies. Hands-on experience with formal verification tools, model checking, and equivalence checking.
Basic Qualifications:
- Bachelor's degree with 4+ years experience, Master's with 3+ years, or PhD with 0 experience.
- Proficiency in formal verification tools and methodologies.
- Strong knowledge of System Verilog and Verilog.
How to Prepare
Our tips, based only on what the listing asks for:
- Revise core concepts of System Verilog, Verilog, and microarchitecture logic fundamentals.
- Brush up on formal verification methodologies including model checking and equivalence checking.
- Prepare examples from past projects demonstrating your experience with abstraction modeling and proof convergence.
- Understand Binary Decision Diagrams (BDD) and Data Flow Graphs (DFG) to tackle technical discussion questions.
What the Listing Does Not Mention
- No salary or compensation package is stated in the job posting.
- No specific last date to apply is mentioned.
- The exact interview rounds or selection process stages are not detailed.
How to Apply: Intel
- Click on the official apply link provided below to visit the Intel careers portal.
- Review the job description and minimum qualifications carefully.
- Sign in or create an account on the Workday platform.
- Upload your updated resume and fill in the required professional details.
- Submit your application for Job ID JR0287328.
Do not miss this chance to build the future of computing technology with Intel.
Important Links:
| Events | Links |
|---|---|
| Apply Now | Click Here |
| Official Careers Page | Click Here |
Frequently Asked Questions:
What qualification is required?
Required qualification: B.E / B.Tech / M.Tech / PhD. See the eligibility section above for details.
Is this a remote job?
No, it follows a hybrid work model allowing you to split time between the Bangalore office and off-site.
What is the experience requirement?
It requires 3+ years for Master's degree holders, 4+ years for Bachelor's degree holders, or 0 years for PhD graduates.
Where is the job located?
The position is based in Bangalore, India.
Does Intel charge any application fees?
No, Intel does not charge any fees during the hiring process.
Stay safe: Intel does not charge any fee to apply or to give an interview. If anyone asks you for money for a job, a referral or an offer letter, it is a scam.
Source: the official Intel careers listing for this role.
Related Jobs You May Like
- Join As GPU IP Integration Model Build Engineer At Intel | Apply Now
- Join As LVS Runset Development Engineer At Intel | Apply Now
- Join As SoC Design Verification Engineer At Intel | Apply Now
- Join As DFT Design Engineer At Intel | Apply Now
Disclaimer: This job post is for information only. All applications and questions should go to Intel through the official process.
About us:
CareerFinder.co.in: At CareerFinder.co.in, we are committed to connecting individuals with top-notch job opportunities seamlessly. Explore endless possibilities for your career growth and success with us.