What you'll be doing:
Develop advanced formal verification technologies.
Carry ideas from research through development and up to acceptance by team of formal verification engineers.
Collaborate with different teams in the organization to provide end to end formal solutions.
What we need to see:
M.Sc/PhD in Computer Science or equivalent field.
4+ years of experience in Formal Verification development
Experience in algorithm development.
Excellent programming, debugging and code design in C++.
Inventive with sharp learning curve.
Strong communication skills, both written and verbal, and strong interpersonal relationship.
Ability to work independently with minimal direction.
Ways to stand out for the crowd:
An advanced degree in Formal Verification or static analysis.
Experience in Formal Verification development.
