👀 Дизайнеры, какая команда подходит вам по вайбам? Проверяйте на Вайб-чеке→ vibe.habr.com

Static analyzer


от 200 000 до 400 000 ₽

Местоположение и тип занятости

МоскваПолный рабочий день


Специализированное подразделение компании Ventra по ИТ-аутсорсингу, разработке и доработке ПО, BA; внедрению ИС компаний

Описание вакансии

Условия работы

We are building a new static analyzer, which is going to be even more powerful than existing LLVM-based tools like Phasar or Clang. We are planning to introduce our own VM-layer (instead of LLVM) and our own DSL for writing rules and AST manipulations. The project is still very young but is going to complete eventually with solutions from Coverity, Klocwork, and others. The product is open source. 

We expect you: 

• To have experience in creating static analyzers; 

• To have a PhD in static analysis (or close); 

• To be an academic writer visibile in Scopus; 

• To be a hands-on programmer (Java or similar); 

• To speak and write English fluently; 

• To be ready to work full-time (5x8) in our Moscow office. 


You will get: 

• Above-the-market monthly salary; 

• All social benefits, including 28 days annual paid vacation, etc.; 

• Challenging tasks and details-oriented management; 

• An opportunity to become a known open source contributor; 

• A limitless career path in a Fortune-100 company.