Formal Verification Engineer

Location

Bengaluru, Karnataka, India

Salary

Not specified

Company

Akash pawar

Job description

### Role & Company / Project Overview Mirafra Technologies is hiring Formal Verification Engineers to strengthen their specialized VLSI team in Bengaluru. ### Key Responsibilities & Daily Duties • Perform formal property checking and formal verification on complex digital designs. • Develop formal verification plans, write assertions, and prove complex properties. • Debug proof failures and work alongside design teams to resolve design bugs. ### Required Qualifications, Skills & Experience • Experience: 5 to 20 Years. • Notice Period: 0–30 Days (Currently serving candidates preferred). • Specialized expertise in formal property checking and formal design verification techniques. ### Working Hours, Shifts & Location Details • Location: Bengaluru, Karnataka, India. • Onsite VLSI engineering position. ### Compensation & Benefits • Competitive salary based on experience and expertise. ### Application Instructions • Interested candidates are requested to send their updated CV via email.