• Formal Verification Developer

    Job Locations Israel-Yokneam
    Posted Date 2 weeks ago(7/30/2018 8:04 AM)
    ID
    2018-4432
    Category
    Chip Design
    Job Length
    Full-Time
  • Overview

    Mellanox Technologies is looking for a computer scientist to join its formal verification tool development team as a key player.  

    This position involves research and algorithm design as well as software development of a state of the art formal verification technology. 

    A successful candidate is expected to carry innovative ideas from research through development and up to acceptance by a team of formal verification engineers.

     

    Qualifications

    The position is open also for newly graduated candidates with advanced degrees.

    Experience:

    • Algorithm development
    • Formal verification development is a plus
    • C++

    Education:

    • Sc. – Computer Science
    • PhD in computer science is a plus
    • An advanced degree in formal verification or static analysis is a plus

    Personal:

    • Self-motivated.
    • Clever with a sharp learning curve.
    • Strong communication skills, both written and verbal, and strong Interpersonal relationship.
    • Result oriented

    Options

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