Annapurna Labs Ltd.
Technology
FormalVerificationEngineer
“Formal Verification Engineer at Annapurna Labs Ltd.. Skills: Formal verification. Plan formal verification plans. Execute formal verification plans”
What You'll Achieve.
Ensure design quality; Meet challenging timelines
Industry & Context.
Analytical; Problem-solving abilities; Debug formal verification failures; Analyze root causes
What They're Looking For.
Must Have
Bachelor's degree in Computer Science, Electrical Engineering, or related field, Analytical and problem-solving abilities, Self-motivated team player
Nice to Have
Academic or internship experience with formal verification concepts, Exposure to hardware verification methodologies, Basic scripting skills, Familiarity with AI/ML applications in verification
What You'll Do.
Plan formal verification plans
Execute formal verification plans
Develop formal test-benches
Debug formal verification failures
Collaborate with design teams
Collaborate with verification teams
Learn formal verification methodologies
Apply formal verification methodologies
Learn formal verification tools
Apply formal verification tools
How You'll Work.
Team & Collaboration
Experienced engineers across multiple teams
Applying for this Formal Verification Engineer role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Annapurna Labs Ltd.?
Real rants from real employees. Read before you apply.