• Software Developer

    Job Locations Israel-Tel Aviv
    Posted Date 2 months ago(10/16/2018 7:40 AM)
    ID
    2018-4539
    Category
    SW
    Job Length
    Full-Time
  • 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.

     

    Responsibilities

    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

    Qualifications

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

    Options

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