Основные специализии - синтаксичейски и семантический анализ формальных языков, генерация кода, декомпиляция,  средства рефакторинга и языковые инструменты (из публичных проектов -  TMT Pascal - разработчик всего кроме IDE, плагин CppTools - поддержка С/C++ для Intellij IDEA), низкоуровневое программирование иобрабтка сигналов. Функциональное программирование, алгоритмы управления памятью (GC)

Основные языки - С/C++, Java, Ocaml, Haskell, ну и все прочее в разумых пределах.

В вопросах цены - торг уместен. В разумных пределах.