Security Analyst

Company Name: Kaspersky Lab jobs, Employment

Location: RU

Job Duration: 2022-01-13 to 2022-02-12

Overview

Группа ориентирована на исследование проблем и поиска подходов решения проблем в следующих направлениях, связанных с применением KasperskyOS

  • портирование на новые процессоры/архитектуры:
    • Элвис (ARM/MIPS)
    • Байкал
    • Эльбрус
    • RISC-V
  • RealTime
  • разработки подходов к формальной верификации ядра, KSS, политик безопасности и ключевых компонентов систем
  • развитие парадигмы CyberImmunity в направлении разработки систем:
    • способных восстанавливать свою работоспособность после реализации атаки/деффекта
    • состоящих из группы взаимодействующих систем
  • применение ML/AI для обеспечения CyberImmunity на уровне ядра ОС

 

Обязанности:

  • верификация ПО с применением инструментов анализа исходного кода, включая модули ядра операционной системы;
  • разработка формальных спецификаций анализируемых программных модулей;
  • проверка (доказательство) соответствия реализации подсистем (модулей) формальной модели управления доступом (политики безопасности);
  • формирование и поддержка методик построения безопасных программных решений, проведение анализа архитектуры решения.

Компетенции:

  • знание систем автоматизированного доказательства теорем Coq, HOL, NuPRL, etc
  • понимание основ информационной безопасности;
  • понимание процессов проверки ПО на соответствие формальным требованиям: тестирование, фазинг.

Требования:

  • высшее техническое образование;
  • опыт работы в роли аналитика ПО не менее года.