agent technique jobs in Haifa

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 everywhere in our projects. Each project has hundreds of formal environments, from small blocks with sophisticated data crunching or complex...

Annapurna Labs, a division of Amazon Web Services (AWS), develops innovative hardware and software for AWS cloud infrastructure, including AWS Graviton processors and the AWS Nitro System. Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience. Formal verification is everywhere in our projects. Each project has hundreds of...

Chips Talk, We Listen proteanTecs is a game-changing startup that's giving advanced electronics the power to report on their own health. In a digital world built for autonomous driving, cloud computing, and AI, we depend on computing systems daily. But how can we guarantee their safety, reliability and functionality? proteanTecs is the first-ever company to...

Chips Talk, We Listen proteanTecs is a game-changing startup that's giving advanced electronics the power to report on their own health. In a digital world built for autonomous driving, cloud computing, and AI, we depend on computing systems daily. But how can we guarantee their safety, reliability and functionality? proteanTecs is...