Junior Formal Verification Engineer, Annapurna Labs
Haifa, Israel
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 worldwide. Formal verification is…