Static analyzer

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.