Formal Verification Engineer

Role Summary

The position requires a Formal Verification Engineer to join a dynamic team at Annapurna Labs, part of Amazon Web Services (AWS). The candidate will take ownership of verification tasks, helping to develop and manage cutting-edge cloud infrastructure products. This role is ideal for engineers eager to enhance their expertise in formal verification in a collaborative environment.

Experience Level

This is a mid-career position suited for candidates with a foundational understanding and some practical experience in engineering, particularly in formal verification processes. Ideal candidates will have experience working in fast-paced environments.

Responsibilities

• Plan and execute formal verification strategies under the mentorship of senior engineers.
• Create formal test-benches for various design modules.
• Analyze and troubleshoot formal verification failures, identifying root causes of issues.
• Collaborate across teams to resolve design and verification challenges effectively.
• Learn and implement new methodologies and tools related to formal verification.

Requirements

Applicants must hold a Bachelor’s degree in Computer Science, Electrical Engineering, or a closely related field, and are encouraged to submit their academic transcripts. Ideal candidates will be self-motivated, possess strong analytical skills, and work well in a collaborative environment. Experience in formal verification or relevant practical experience through internships is preferred, along with basic scripting skills and familiarity with AI/ML applications.

Education Requirements

Bachelor's degree in Computer Science, Electrical Engineering, or related field. Submission of an academic transcript alongside the resume is required.