|
תיאור: |
Formal Verification Expert
"BA/MA in Computer Science or Electrical Engineering. - 3 years of industrial experience in FV.
- Familiarity with model checking algorithms, reductions and specification languages.
- Experience in software and tools development.
- Great communication skills, in Hebrew and English, client and service oriented spirit.
"
צפון
softwa.is@gmail.com
|
|
|
|
|
היקף המשרה: |
מלאה |
עיר/ישוב: |
|
תפקיד: |
|
שנות ניסיון: |
|
|
|