Formal verification
Mirafra Technologies
Bengaluru, Karnataka, IN Full–Time
- Demonstrated expertise in constraint random functional and formal verification
- Proficiency in hardware verification utilizing System Verilog UVM
- Skilled in formal verification with Cadence Jasper Gold
- Familiarity with regression, coverage analysis tools, and test bench qualification
- Proven track record of collaboration in international, cross-functional technical teams
Posted 16 Mar 2026 · Listing from OnJob.io. Create a free profile to apply and see your AI match score.
Related jobs you can win
Hand-picked roles that match this listing on skills, category and location — each scored to your profile inside OnJob.
Flipkart - Ecommerce -Bpo Telecalle... Feliks - Startek Bengaluru, Karnataka, IN · ₹15,800–₹24,200/mo Female Voice Over Artist HIKIZO PRIVATE LIMITED (BLU TECHNO SOFT) Bengaluru, Karnataka, IN · ₹10,000–₹15,000/mo Senior Car Mechanic Castrol Auto Service - Carnautics Bengaluru, Karnataka, IN · ₹30,000–₹40,000/mo Heavy Vehicle Mechanic Babu Tyre Works & Auto Diesel Works Bengaluru, Karnataka, IN · ₹10,000–₹12,000/mo Al Faham Master Oasis Restaurant Bengaluru, Karnataka, IN · ₹10,000–₹15,000/mo Italian Chef Buddiezz Cafe Bengaluru, Karnataka, IN · ₹20,000–₹25,000/mo Early Childhood Education Director (Bihar) Podar International School - India Purnia, Bihar, IN RFC Machine Operator K95 FOODS PRIVATE LIMITED Bahadurgarh, Haryana, IN CNC Machine Operator Certero Hr Llp Nathupur, Haryana, IN Machine Operator Mprosys Tech Solutions Private Limited Jigani, Karnataka, IN