ASIC Formal Verification Engineer I, Annapurna Labs

In Annapurna Labs we are at the forefront of hardware co-design not just in Amazon Web Services (AWS) but across the industry. The work we do is cutting-edge and internet-scale while also being deeply Basic qualifications: • To qualify, applicants should have earned (or will earn) a Bachelors or Masters degree • Completed coursework or prior internship experience with formal methods (SW/HW) • Coursework or prior internship experience in the basics of computer architecture. Preferred: • Experience or previous technical internship(s) with hardware model checkers: JasperGold, or VC Formal. • Experience or previous technical internship(s) with RTL Verilog. • Knowledge of formalization techniques. • Experience with scripting languages, such as Python, or TCL. • Ability to effectively articulate technical challenges and solutions • Adept at handling ambiguous or undefined problems as well as ability to think abstractly Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies. Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company’s reputation. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records. Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner. The starting pay for this position is listed below. Starting Day 1 of employment, Amazon offers EAP, Mental Health Support, Medical Advice Line, 401(k) matching. Learn more about our benefits at https://hiring.amazon.com/why-amazon/benefits . Austin, TX, USA - 116,100.00 USD Annually Cupertino, CA, USA - 133,600.00 USD Annually