Amazon Formal Verification Leader 

Israel, Haifa District, Haifa 

30653081

- 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