• Software Developer

    Job Locations Israel-Tel Aviv
    Posted Date 2 months ago(10/16/2018 7:40 AM)
    Job Length
  • Overview

    Mellanox Technologies is looking for a Formal Verification Software Engineer.

    We strongly believe in developing our employees and giving them the tools to succeed.

    We are a fast-growing company with positive energy that emanates from our team members internal drive to develop, market, sell, and support cutting-edge products and services.

    At Mellanox each individual influences the success of our company. If you are looking for a rewarding career, talented colleagues, a great challenging environment, growing and leading, Mellanox is the right place for you.



    Formal Verification is a field with proven qualities in Hardware verification.

    We are looking for an independent, self-learner software engineer to use those abilities in order to test large scale software projects.

    The Engineer will take part in developing a new Formal Verification methodology for the next generation of Mellanox Software technology.

    The work environment is versatile, educational, dynamic and challenging.


    The job will include:

    • Developing a C++ based platform that will connect the Formal Verification engines to the Software environment.
    • Using Formal Verification tools to test a large variety of functions across all Firmware and Software departments
    • Adjust the existing FV methodology for the next generation needs


    • B.Sc. Computer Science or Electrical Engineer
    • 2-4 years of experience
    • Experience in unit testing is an advantage


    Sorry the Share function is not working properly at this moment. Please refresh the page and try again later.
    Share on your newsfeed