Шукаємо Formal Verification Engineer

Шукаємо Formal Verification Engineer

Вітаю!
Наш підрозділ digamma.ai відкриває кілька перспективних проектів, пов’язаних із формальною верифікацією комп’ютерного програмного забезпечення.
Ця сфера все ще перебуває на початкових етапах, але в академічних колах існує достатня кількість інструментів та методів, які ми хочемо спробувати застосувати до практичних та реальних проблем.

Тож для віддаленої роботи до себе в команду шукаємо Formal Verification Engineer.
Ідеальний кандидат повинен мати:

Диплом бакалавра, магістра, кандидат наук (Ph.D.) в галузі інформатики або математики

Досвід в галузі Programming Languages, Logic, Static Code Analysis, Abstract Interpretation, Proof Assistants, SAT/SMT Solvers або Functional Programming

Досвід функціонального програмування (OCaml, Haskell)

• 
  

Вміння писати математичні докази

Кандидат має вміти робити самостійні дослідження, читати наукові роботи, випробовувати різні експериментальні програмні системи. Під час роботи потрібно буде вивчати нові мови програмування та інструменти, експериментуючи, читаючи книги та, за потреби, відвідуючи онлайн-курси. Критично важливим є добре розуміння англійської мови, вміння швидко навчатися, шукати та досліджувати інформацію.

Можливо, ви зможете порекомендувати когось з ваших знайомих на цю посаду?

За успішну рекомендацію, в нас передбачені грошові бонуси.
Буду вдячна, за будь-яку допомогу в пошуку.