Junior Formal Verification Engineer, Annapurna Labs
Amazon
- Haifa
Description Annapurna Labs, part of AWS, designs the silicon behind AWS infrastructure, including AWS Graviton processors and the AWS Nitro System. What you prove here runs in millions of servers wo