Amazon Formal Verification Engineer 

Israel, Haifa District, Haifa 

385342593

Utility Computing (UC) Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience. 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)

- 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

- Knowledge in the following programming languages: Perl/Bash/TCl/Python/C/C++
- Knowledge in PCIe, Processors, Ethernet, DDR