Lead Engineer, Formal Verification

2 weeks 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 UALink semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. Discover more at

Basic Qualifications

  • Bachelor's degree in electrical engineering (EE) is required; a master's or PhD in EE is preferred. Additional background in Math or Computer Science is highly desirable.
  • 8+ years of experience in formal verification or 7+ years of experience in traditional design verification (DV).
  • Strong professional work ethic with the ability to manage and prioritize multiple tasks in a dynamic environment.
  • Proven ability to plan and prepare for customer meetings and to work with minimal supervision.
  • Entrepreneurial mindset with a proactive, customer-focused attitude. Ability to think and act quickly while maintaining a high standard of quality.
  • Strong cross-functional collaboration skills.

Required Experience

  • Develop detailed formal verification (FV) test plans based on design specifications and 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.

Preferred Experience

  • Hands-on experience with formal verification tools such as Synopsys VCFormal and Cadence JasperGold.
  • Experience with both bug hunting and static proof verification techniques.
  • Familiarity with automating formal verification workflows within a CI/CD environment.

We know that creativity and innovation happen more often when teams include diverse ideas, backgrounds, and experiences, and we actively encourage everyone with relevant experience to apply, including people of color, LGBTQ+ and non-binary people, veterans, parents, and individuals with disabilities.

  • Formal Verification Engineer

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

    1 day 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

    3 days 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

    3 days 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 Staff Engineer

    1 week ago

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

  • Formal Verification Staff Engineer

    1 week ago

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

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12908Remote Eligible: NoDate 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...

  • Formal Verification Engineer

    7 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

    7 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

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

  • Formal Verification Engineer

    1 week ago

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