Senior Formal Verification Engineer

3 days ago

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

Key Skills: Formal Verification, Frontend Verification, Functional Verification

Roles and Responsibilities:

  • Develop detailed formal verification (FV) test plans based on design specifications.
  • Collaborate with design teams to refine micro-architecture specifications.
  • Identify key logic components and critical micro-architectural properties essential for ensuring design correctness.
  • Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs.
  • Apply complexity reduction techniques using industry-standard EDA tools or academic formal verification tools to achieve proof convergence or sufficient depth.
  • Develop and maintain scripts to enhance FV productivity and streamline verification processes.
  • Assist design teams with the implementation of assertions and formal verification testbenches for RTL at unit/block levels.
  • Participate in design reviews and collaborate with design teams to optimize design quality and performance, power, area (PPA) metrics based on formal analysis feedback.
  • Strong proficiency in System Verilog/Verilog.
  • Good scripting abilities with Python or Perl.

Skills Required:

  • Strong experience in Frontend Verification, Formal Verification, and Functional Verification
  • Good understanding of System Verilog, Verilog, and UVM
  • Knowledge of Assertion-Based Verification techniques
  • Scripting skills in Python or Perl
  • Experience with EDA tools used for formal verification

Education: Bachelor's or Master's degree in Computer Science, Electrical Engineering, or a related field.

  • Formal Verification Engineer

    2 weeks ago

    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...

  • Formal Verification Engineer

    1 day ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    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...

  • Formal Verification Engineer

    6 days ago

    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...

  • Formal Verification Engineer

    20 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12935Remote Eligible: NoDate Posted: 09/10/2025 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...

  • Formal Verification Engineer

    23 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12915Remote Eligible: NoDate Posted: 13/10/2025 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...

  • Senior Formal Verification Specialist

    24 hours ago

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

    Job Title:Senior Formal Verification SpecialistWe 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...

  • Senior Formal Verification Specialist

    18 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12934Remote Eligible: NoDate Posted: 09/10/2025Job Title: Senior Formal 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....

  • Formal Verification Engineer

    4 days ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    WHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences – from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...

  • Formal Verification Engineer, Staff

    4 days ago

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

    Job Title:Staff/Senior Formal Verification SpecialistWe 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...

  • Formal Verification Engineer, Staff

    3 days ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12922Remote Eligible: NoDate Posted: 06/10/2025 Job Title: Staff/Senior Formal Verification SpecialistWe 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...