Formal Verification engineer

Formal Verification is a cutting-edge technology for verifying chip logic in the semiconductor industry.

It uses special tools to do a static mathematical analysis of designs, to confirm that they adhere to defined temporal specifications.

Special tools, Special challenges!

In this role, you will:

• Understand design specs.
• Understand development methodology.
• Interface with designers and others in the team.
• Write testplans.
• Write, execute, and debug Formal properties using Formal tools.

Did we get your attention???

What do we need?

We’re looking for strong graduates, but could be from different majors (e.g. Computer Engineering, Computer Science, Electrical Engineering, Physics, Math, etc.)

Somebody with…

• A good head on their shoulders.
• A willingness to learn new things.
• Good communication skills.
• Good English (written and verbal – for interacting with engineers outside of Israel).

Desired background (or plan on learning them)

• Coding abilities (any language).
• Boolean logic.
• Verilog.
• SVA Assertions.
• Algorithms.
• Data structures.