# Principal Formal Verification Engineer

- **Company:** Astera Labs
- **Location:** Bengaluru, Karnataka, India
- **Workplace:** Workplace not stated
- **Salary:** Salary: unknown
- **Seniority:** Staff
- **Role:** Software engineering (general)
- **Countries:** India
- **Languages:** Perl, Python
- **Posted:** 2026-11-05
- **Key facts:** Stack: Perl, Python; Experience: 10+ years; Degree required
- **Job page:** https://rolefalcon.com/job/89835420-principal-formal-verification-engineer-astera-labs-bengaluru

Astera Labs, a software company in manufacturing and hardware, is hiring for the role of Principal Formal Verification Engineer. The job is based in Bengaluru, India. We classify it under software engineering (general). The posting names Perl and Python. It asks for 10+ years of experience. A university degree is required. Astera Labs has 44 open positions on this site, 27 of them in IT and engineering.

To apply, open the job page above and follow its Apply link to the original posting.

## Similar jobs

- [Engineering Manager](https://rolefalcon.com/job/90124065-engineering-manager-razorpay-software-private-limited-bengaluru) — Razorpay Software Private Limited
- [Software Engineer I](https://rolefalcon.com/job/89963267-software-engineer-i-uipath-bangalore) — UiPath
- [Software Engineer II](https://rolefalcon.com/job/89875086-software-engineer-ii-uipath-bangalore) — UiPath
- [Software Engineer III – VoIP / FreeSWITCH](https://rolefalcon.com/job/89847704-software-engineer-iii-voip-freeswitch-vonage-bangalore) — Vonage
- [Salesforce Service Cloud - Developer](https://rolefalcon.com/job/89847261-salesforce-service-cloud-developer-valtech-bengaluru) — Valtech
- [Software Engineer, Apps](https://rolefalcon.com/job/90238767-software-engineer-apps-headout-li-bengaluru) — Headout LI
- [Java IBM Openpages Developer - Pune/ Bengaluru/ Chennai/ Mumbai/ Gurugram/ Hyderabad](https://rolefalcon.com/job/89568373-java-ibm-openpages-developer-pune-bengaluru-chennai-mumbai-gurugram-hyderabad) — Capco
- [Software Development Engineer - III](https://rolefalcon.com/job/90233828-software-development-engineer-iii-commerceiq-bengaluru) — CommerceIQ