We are looking for a Formal Verification Developer
Nvidia Networking 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 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 by team of formal verification engineers.
Collaborate with different teams in the organization to provide end to end formal solutions.
Requirements: What we need to see:
MSc Graduate in Computer Science, and currently pursuing PhD.
Experience in algorithm development.
Excellent programming, debugging and code design in C++.
Clever with sharp learning curve.
Strong interpersonal skills, both written and verbal.
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.
This position is open to all candidates.