Formal Verification Engineer

Proxelera
fulltime Bengaluru, Karnataka Computer Occupations
Posted:
June 05, 2026
Location:
Bengaluru, Karnataka, India

Job Description

About the Company

Proxelera is a specialized semiconductor and system software engineering partner headquartered in Bengaluru. We provide end-to-end silicon design and productization services, focusing on high-quality IP design and complex verification for global clients. Our culture emphasizes technical excellence, mentorship, and driving the success of next-generation AI and networking silicon.


About the Role

We are seeking a Formal Verification Engineer with 5–8 years of experience to join our team in Bengaluru. You will lead connectivity and block-level property verification for Test Chips and DDRPHY using formal verification methodologies.



KEY RESPONSIBILITIES:

  • Verification of Test Chips and DDRPHY: Connectivity verification for Test chips, Block level property verification for DDR PHY along with other use cases.
  • Good understanding of Form...

Apply for this Job

Submit your application for the Formal Verification Engineer position at Proxelera.

Apply Now Save for Later

Job Overview

Job Type: fulltime
Location: Bengaluru, India
Posted: June 05, 2026
Deadline: July 15, 2026