Applied Scientist: ML Accelerator Verification & Content

Amazon; Austin (TX); On-site; USD 136,000 - 184,000; Full time

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

Parental leave

Job summary

Annapurna Labs (U.S.) Inc. in Austin, TX is seeking a qualified engineer to design and verify a custom ML accelerator chip using SMT-based content creation and formal methods.

The role centers on developing the solving framework and collaborating with design verification engineers, hardware architects and designers to create targeted tests for project needs. Key qualifications include experience in Java, C++, Python and SQL; familiarity with coverage metrics and test content generation; and a

Qualifications

• Experience programming in Java, C++, Python or related language.
• Experience with SQL and an RDBMS (e.g., Oracle) or Data Warehouse.

Responsibilities

• Develop an understanding for a custom machine learning instruction set architecture.
• Model correctness of instruction streams using first order logic.
• Create custom API's to allow control over scheduling and randomness.
• Deploy algorithms to ensure concurrent code is safely constructed.
• Create coverage metrics to ensure solution space coverage.
• Use novel methods like machine learning to automate content creation.

Skills

Java

C++

Python

Tools

SQL

Job description

Annapurna Labs (U.S.) Inc. in Austin, TX is seeking a qualified engineer to design and verify a custom ML accelerator chip using SMT-based content creation and formal methods.

The role centers on developing the solving framework and collaborating with design verification engineers, hardware architects and designers to create targeted tests for project needs. Key qualifications include experience in Java, C++, Python and SQL; familiarity with coverage metrics and test content generation; and a