Formal Verification Staff Engineer

16 hours ago


Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 10,00,000 - ₹ 25,00,000 per year
Job Description

Category: Engineering
Hire Type: Employee
Job ID: 12908
Remote Eligible: No
Date Posted: 02/10/2025

Formal Verification Staff Engineer - Formal Verification Engineer - ASIC Digital Design Engineer - RTL Verification Specialist

We Are:
At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.

You Are:
You are a highly skilled and experienced Formal Verification Specialist with a strong background in RTL design and a passion for ensuring the correctness and reliability of digital designs. You have a minimum of 3 years of industry experience, with at least the last 2 years focused on formal techniques for verification. You possess deep knowledge of architectures of designs and digital logic, synthesis flow, static timing flows, and formal checking. Your hands-on experience with HDLs such as Verilog or System Verilog and understanding of temporal logic assertions make you an ideal candidate for this role. You have worked on complex verification projects and have experience with formal verification tools like Jasper or VC-Formal. Your skills in Python, Perl, or Shell scripting are a plus. You are a team player with excellent communication skills, capable of mentoring junior engineers and collaborating with geographically diverse cross-functional teams. Your problem-solving abilities and attention to detail enable you to debug RTL designs effectively and identify causes of failure scenarios. You hold a Bachelor's or Master's degree in Computer Science or Electrical Engineering from a reputed engineering college.

What You'll Be Doing:

  • Specifying, implementing, and maintaining an integrated end-to-end formal verification flow for the formal verification objective.
  • Guiding and training team members on effective usage of FV tools.
  • Reviewing formal setups and proofs with design and verification teams.
  • Maintaining and extending assertion libraries, including support for both simulation and formal verification.
  • Identifying key behaviors for verification of DUT and creating a formal verification plan.
  • Developing verification environments, including environment assumptions, assertions, and cover properties in the context of the verification plan.
  • Applying various formal verification techniques to prove the correctness of digital designs.
  • Debugging RTL to identify causes of failure scenarios.

The Impact You Will Have:

  • Enhance the reliability and quality of our digital designs through rigorous formal verification.
  • Contribute to the development of high-performance silicon chips and software content.
  • Improve the overall design and verification process by maintaining and extending assertion libraries.
  • Facilitate knowledge sharing and skill development within the team by providing guidance and training on FV tools.
  • Ensure the correctness of designs by identifying key behaviors and creating comprehensive verification plans.
  • Support the success of geographically diverse cross-functional teams through effective collaboration and communication.

What You'll Need:

  • Strong knowledge of architectures of designs and digital logic.
  • Experience with synthesis flow and static timing flows, formal checking, etc.
  • Hands-on experience with HDLs such as Verilog / System Verilog.
  • Understanding of temporal logic assertions.
  • Experience with at least one formal verification tool (e.g., Jasper, VC-Formal).
  • Experience with complex verification projects that used formal techniques for closure.
  • Skills in Python, Perl, or Shell scripting (a plus).

Who You Are:

  • A seasoned professional with a comprehensive understanding of formal verification techniques.
  • A collaborative team player with excellent communication skills.
  • A problem solver with strong debugging skills.
  • A mentor capable of guiding junior engineers and interns.
  • An individual with a proactive and detail-oriented approach to work.

The Team You'll Be A Part Of:
You will be part of the Solutions Group at our Bangalore Design Center, India. This team focuses on delivering high-quality digital designs and verification solutions. The position offers learning and growth opportunities, allowing you to work with a diverse group of talented engineers.

Rewards and Benefits:
We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.

Locations: Bengaluru, Karnataka, India



  • Bengaluru, Karnataka, India Synopsys Full time ₹ 10,00,000 - ₹ 25,00,000 per year

    Formal Verification Staff Engineer - Formal Verification Engineer - ASIC Digital Design Engineer - RTL Verification Specialist We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design,...


  • Bengaluru, Karnataka, India QFOCUS Al Pvt. Ltd. Full time

    About the organization : QFocus AI Pvt. Ltd. (QFAI), a wholly owned subsidiary of QFocus Technologies LLC, is a consulting-led engineering services company with sharp focus on supporting next gen advanced products development across AI/ML, Compute, Communication, Storage and Consumer Electronics. Our mission is to help our customers deliver cutting-edge...


  • Bengaluru, Karnataka, India QFocus AI Pvt. Ltd. Full time ₹ 30,00,000 - ₹ 50,00,000 per year

    About the organizationQFocus AI Pvt. Ltd. (QFAI), a wholly owned subsidiary of QFocus Technologies LLC, is a consulting-led engineering services company with sharp focus on supporting next gen advanced products development across AI/ML, Compute, Communication, Storage and Consumer Electronics. Our mission is to help our customers deliver cutting-edge...


  • Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Formal Verification EngineerWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software...


  • Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12935Remote Eligible: NoDate Posted: 22/10/2025Job Title: Formal Verification Engineer We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in...


  • Bengaluru, Karnataka, India AMD Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    WHAT YOU DO AT AMD CHANGES EVERYTHINGWe care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...


  • Bengaluru, Karnataka, India Meta Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Meta is hiring Application-Specific Integrated Circuit (ASIC) Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design Verification to build IP and System On Chip (SoC) for data center applications.As a Formal Verification Engineer, you will be part of a team working with the best in the...


  • Bengaluru, Karnataka, India Intel Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    we are building a better tomorrow. Who We Are The Data Center and AI (DCAI) delivers leadership Xeon products to cloud, data center and AI customers through development of industry leading IPs that enhances product performance and competitiveness in both Xeon and AI platforms.IP design group within DCAI designs Coherent Fabric IP, Memory controller, NOC,...


  • Bengaluru, Karnataka, India, Karnataka ACL Digital Full time

    Formal Verification Engineer Experience: 4 to 12 YearsLocation: BangaloreJob DescriptionResponsible for developing and executing formal verification strategies for IP and SoC blocks.Write and prove assertions using SystemVerilog Assertions (SVA) or PSL.Use tools like JasperGold, VC Formal, or OneSpin to verify complex designs.Collaborate with design and DV...


  • Bengaluru, Karnataka, India MediaTek Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Functional Formal Verification Engineer – LeadWe are seeking an experienced Functional Formal Verification Engineer to join our team and lead formal verification efforts for complex digital designs. As a Lead Formal Verification Engineer, you will play a critical role in ensuring the quality and reliability of our digital designs.Qualifications:Bachelor's...