Find your next role

Discover amazing opportunities across our network of companies committed to gender equality in the workplace.

Formal Verification Engineer



Software Engineering
Tel Aviv-Yafo, Israel · Halifax, NS, Canada · Israel
Posted on Wednesday, July 3, 2024


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)


- 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