We are now looking for a Formal Verification Developer.
Nvidia Networking BU (formerly Mellanox) Formal Verification tool development team is growing and looking for an outstanding Computer Scientist to join the team as a key player.
Our main goal is to develop state of the art formal verification technology.
This position offers the opportunity to have a real impact in a dynamic, technology-focused company.
What You'll Be Doing:
Develop Formal Verification technologies.
Carry innovative ideas from research through development and up to acceptance and use by different teams in the chip design.
Collaborate with different teams in the organization to provide end to end formal solutions for both hardware and software.
What We Need To See:
M.Sc/Ph.D. in Computer Science or equivalent working experience.
Experience in algorithm development.
Excellent programming, debugging, and code design in C++.
Clever with a sharp learning curve.
Strong communication skills, both written and verbal, and strong interpersonal relationships.
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.
NVIDIA has some of the most forward-thinking and hardworking people in the world working with. Are you a creative and autonomous engineer who loves a challenge? Come join our formal verification technologies team and help raise the quality of our products.
We are committed to encouraging a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, disability status or any other characteristic protected by law.
Please send you CV with the Job title and number to: Alumni@weizmann.ac.il