Sr Formal Verification Engineer

1 day ago

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

Baya Systems is inspired by the baya bird, also known as the weaver. Baya birds weave very unique and intricate hanging nests from different materials. The nests are robust and safe while being extremely lightweight and efficient.

Baya is a fast-moving Series B startup built by serial entrepreneurs with a vision to accelerate intelligent computing in the emerging chiplet era.  We focus on software-driven, unified fabric solutions for single-die and multi-die systems. We design and license disruptive intellectual property for use in semiconductor chips, with software development platforms to simplify the design process and reduce the time to market for complex System-on-Chip (SoC) and multi-chiplet systems. This enables our partners to innovate and deliver compelling solutions for data center, infrastructure, AI, Automotive, and Edge IoT markets. We are looking for energetic and dedicated individuals share our passion for enabling innovation and excellence in the semiconductor industry that empowers game-changing products and services

 
Baya Systems
Senior Formal Verification Engineer
Bengaluru, India (onsite)
 
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.

Compensation:

  • Salary commensurate with experience
  • Performance incentives
  • Comprehensive medical, dental, and vision benefits
  • 401(k) retirement plan
  • Equity

  • Formal Verification Engineer, Sr. Staff

    1 week ago

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

    Job Title: Sr. Staff/ Staff 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...

  • Formal Verification Engineer, Sr. Staff

    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: 12913Remote Eligible: NoDate Posted: 06/10/2025Job Title: Sr. Staff/ Staff 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

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

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

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

    7 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

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

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

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

  • Formal Verification Engineer

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