Job Information
Amazon Formal Verification Engineer in Haifa, Israel
Description
Utility Computing (UC)
AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.
Annapurna Labs, a division at Amazon Web Services (AWS), develops innovative hardware and software for AWS cutting-edge cloud infrastructure.
Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience.
Annapurna Labs is looking for a leader to join the Formal Verification team. This team takes a central part of the verification effort, and vision. Goals are shared with other verification teams.
You can choose between working in our offices in the north (Haifa) or the center (Tel Aviv), the work is hybrid (2 home, 3 office)
Basic Qualifications
Aspiration to manage people
Electrical/Computer Science engineer degree
8+ years of experience with RTL verification
Knowledge of Hardware formal verification concepts and tools
Verilog/SystemVerilog
Preferred Qualifications
- Knowledge in the following programming languages: Perl/Bash/TCl/Python/C/C+- Knowledge in PCIe, Processors, Ethernet, DDR