Команда разработки безопасной платформы в Лаборатории Касперского (Kaspersky Security System & KasperskyOS) активно расширяется и ищет разработчиков. Фронт работ большой и разнообразный: от уровня ядра собственной ОС и линуксовых утилит до формальных доказательств и реализации моделей по пэйперам.
Основные требования:
— хорошее знание Хаскеля и базовое С, или наоборот;
— опыт коммерческой разработки в команде.
Офис в Москве, между ЦСКА и Динамо. Вкусная запрлата, регулярные обеды и прочие плюшки.
Cлать резюме
@cblp_su