Functional Formal Verification Engineer – Lead

12 hours ago

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

Functional Formal Verification Engineer – Lead

We 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 or Master's degree in Electrical/Electronics Engineering, Computer Engineering, or a related field.
  • 10+ years of experience in formal verification of complex IP/SubSystem/SoCs, with a strong understanding of digital logic design and verification techniques.
  • Expertise in formal verification tools and property specification languages (e.g., SVA, PSL), as well as proficiency in HDLs such as System Verilog, Verilog or VHDL.
  • Experience with industry-standard EDA formal tools.
  • Experience with scripting languages (e.g., Python, Tcl, Perl) and programming languages such as C/C++/SystemC.
  • Excellent problem-solving and analytical skills, with the ability to debug complex issues and optimize verification performance.
  • Strong communication and interpersonal abilities, with experience working in a team environment and collaborating with cross-functional teams.
  • Proven track record in technical leadership and mentoring, with experience guiding junior engineers and contributing to the development of formal verification methodologies.

Responsibilities

  • Lead complete formal verification for single or multiple design blocks and IPs, including developing and implementing formal verification strategies and test plans.
  • Create comprehensive formal verification test plans and specifications to ensure thorough coverage of design functionality.
  • Prove design properties, identify bugs, and collaborate with design teams to improve micro-architectures and ensure design correctness.
  • Craft innovative solutions for verifying complex design architectures, including developing re-usable and optimized formal models and verification code bases.
  • Mentor junior team members and provide technical leadership in formal verification methodologies, including training and guidance on industry-standard tools and techniques.
  • Collaborate with cross-functional teams, including design and verification, to ensure seamless integration of formal verification into the overall verification flow.

Preferred Skills:

  • Experience with CPU, GPU, or other complex digital architectures, including knowledge of industry-standard protocols (e.g., AXI, CHI, PCIe).
  • Familiarity with UVM methodology and/or other simulation-based verification methodologies.
  • Experience with advanced FV performance optimization techniques, such as abstraction methods, property decomposition, and other state-space reduction techniques.
  • Expertise in Jasper or VC Formal products is highly desirable.

  • Formal Verification Engineer

    6 days ago

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

  • Formal Verification Engineer

    2 weeks 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

    2 weeks 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

    1 week ago

    Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per year

    Job Requirements Formal Verification Engineer Job DescriptionOverviewWe're looking for a highly skilled Formal Verification Engineer to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital logic, formal...

  • Formal Verification Engineer

    2 weeks ago

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

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

  • Formal Verification Engineer

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

  • Lead Engineer, Formal Verification

    11 hours ago

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

    Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions grounded in open standards. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL, Ethernet, PCIe, and...

  • Formal Verification Engineer

    6 days ago

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

  • Formal Verification Engineer, Staff

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

  • Senior Formal Verification Engineer

    2 weeks ago

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

    Key Skills: Formal Verification, Frontend Verification, Functional VerificationRoles 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...