Требуется специалист по формальным моделям безопасности.
Требования:
- профильное образование (компьютерная безопасность);
- понимание как формальных моделей безопаcности, так и реальных аспектов IT-безопасности;
- хорошее понимание механизмов безопасности в Linux-системах;
- опыт использования Linux;
- желательно знакомство с SELinux.
Обязанности:
- сопряжение формальных моделей безопасности с реально используемыми решениями;
- взаимодействие с представителями организаций, занимающихся формальными моделями безопасности.
Условия:
Работа в офисе в Москве (м. Дмитровская).
Контакты:
hr@basealt.ru
