25 июн.
Ресечер/Ассистент HRD
от 70 000 ₽
Москва
Удалённо
Junior
Группа формальных методов занимается выполнением проектов по формализации и верификации компонентов KasperskyOS — безопасной микроядерной операционной системы общего назначения. Большой фокус нашей работы направлен на использование легковесных формальных методов, которые позволяют получать полезные результаты за ограниченное количество времени. Группа отвечает за проверку корректности архитектурных решений и участвует в разработке модели безопасности ОС. Мы подбираем методы и инструменты под конкретные задачи, при необходимости используем в работе инструменты интерактивного доказательства теорем, занимаемся верификацией кода, разрабатываем собственные решения. Наша команда работает в рамках отдела развития архитектуры KasperskyOS.
Мы ищем исследователей, которые могут усилить своей экспертизой текущие проекты команды, способны выходить за рамки привычного инструментария, а также готовы предлагать и продвигать новые проекты по верификации внутри KasperskyOS.
Умножим шансы на каждом этапе поиска и поможем получить выгодный оффер
Узнать большеБудьте осторожны: если работодатель просит войти через Google, iCloud или Госуслуги, прислать код или пароль, запустить ПО или перевести деньги — это мошенники.
Будьте осторожны: если работодатель просит войти через Google, iCloud или Госуслуги, прислать код или пароль, запустить ПО или перевести деньги — это мошенники.
