Position: Разработчик C++/Java
Category: C++
English level: upper
Years of experience: 6

0) flow9 compiler (precisely: cross-trasplier) - a lot of work over it. vscode extension for flow9, LSP -protocol implementation, java-backend. 
1) designed and developed implementation of formal math language Russell: russellmath.org. Developed fully automated prover for logical framework Russell.
2) participated in the development of php compiler (runtime). Has vast experience in working with zend source code (phpng).
3) participated in CS research, concerning description logic EL. Developed a reasoner and complex algorithms of theory decomposition.
4) Has created a logical DSL for deep text analysis, with rich linguistic facilities.
flow9,
C++, java, 
git, 
Linux, 
apache storm, apache kafka,
parsers, translators, DSL, complex algorithms, 
logic, formal methods, 
automated theorem proving, machine learning,
Qt, php source code, zend engine, phpng, php7, 
natural language processing.