Formal Verification Leader

Found in: beBee S IL - 3 weeks ago

Tel AvivYafo, Israel Amazon Full time

Description

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)

We are open to hiring candidates to work out of one of the following locations:

Haifa, ISR | Tel Aviv, ISR

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

  • Field Service Engineer

    Found in: beBee S IL - 3 weeks ago

    Tel Aviv, Israel Leidos Full time

    Description Field Service EngineerIsraelLeidos SES is an industry leader in detection technology, providing cargo and vehicle inspection systems and services for ports, borders, military, high-threat facilities, and checkpoints to help customers combat terrorism, drug smuggling, illegal immigration, and trade fraud.  We offer a broad array of scanning...