В компанию Positive Technologies (http://ptsecurity.com), в команду разработки анализатора защищенности Application Inspector требуется разработчик на C# и/или C++, погруженный или готовый к быстрому погружению в предметную область безопасности приложений.

О проекте можно почитать тут: http://www.slideshare.net/phdays/ss-35302232 и тут: http://vkochetkov.blogspot.com/2014/05/blog-post.html

Подробнее о вакансии:

Обязанности:
Участие в исследованиях и разработке модуля анализа защищенности бинарного кода (native).

Требования:
Навыки разработки на C# и/или C++, готовность к плотной работе со спецификациями.
Понимание механизмов работы виртуальных машин CLR и LLVM.

Приветствуется:
Навыки reverse engineering.
Понимание принципов работы компиляторов, проблематики статического и динамического анализа кода, автоматического доказательства теорем и решения уравнений.
Уверенное знание теорий вычислений, графов и множеств.

Условия:
Оформление согласно ТК РФ;
Официальная заработная плата (от 80 тыс. руб., но цифры условные, все будет зависеть от знаний и опыта работы);
6 недель оплачиваемого отпуска;
ДМС, включая стоматологию;
Возможность выбрать время начала рабочего дня;
Месторасположение офиса: м. Площадь Восстания.
И еще:
Отсутствие бюрократии и демократия в отношениях на всех уровнях;
Возможность посещать профильные международные и российские конференции;
Объединения по интересам;
Отсутствие дресс-кода и уважение к ценностям каждого сотрудника;
Уютный офис

Резюме, вопросы, рекомендации присылайте на career@ptsecurity.com