Formal Verification Engineer
Mumbai, Maharashtra, India • Posted June 07, 2026
Job Type:
Full-time
Location:
Mumbai, Maharashtra
Posted:
June 07, 2026
Category:
Computer Occupations
Application Deadline:
July 17, 2026
Role 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 Formal property verification, In-depth knowledge in formal verification algorithms, engines and use cases
Proven ex...
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 Formal property verification, In-depth knowledge in formal verification algorithms, engines and use cases
Proven ex...
Interested in this role?
Click the button below to start your application for Formal Verification Engineer at Proxelera.
Apply Now