Formal Verification Engineer

Job description

DESCRIPTION

Exciting opportunity to join Amazon in developing its next generation products for the cloud market.
We are looking for talented people to join the Formal verification team and help us technically lead the challenges of the next decade

Position can be located in the north (Haifa) or in the center (Tel-Aviv)

Desired profile

BASIC QUALIFICATIONS

· Electrical/Computer Science engineer with GPA of > 85
· More than 3 years of experience with RTL verification
· Knowledge of Hardware formal verification concepts and tools (assertions, temporal logic; tools : Jasper, Rulebase, SixthSense): advantage
· Verilog/SystemVerilog
· Team player.
· Highly motivated.
· Willing to work in dynamic and demanding environment.
· Fast learner.