Инженер по формальным методам

PT SWARM — это команда из более чем 60 экспертов в offensive security, которые занимаются тестированием на проникновение (в том числе red teaming), анализом защищенности ПО (мобильных и веб-приложений, софта для финансовой отрасли),Web3-технологий, выполняют проекты по социальной инженерии, проводят аудит беспроводных сетей, банкоматов и POS-терминалов. В среднем ежегодно команда успешно выполняет более 100 проектов.

Наши эксперты выступают на топовых международных конференциях по кибербезопасности, таких как Black Hat Europe, Black Hat USA, CanSecWest, DEF CON, Hack in Paris, No Such Con, PacSec, Power of Community.

За последние три года эксперты PT SWARM выявили более 250 уязвимостей, 70% из которых высокого и критического уровня, в программных продуктах 60 различных производителей, среди которых Cisco, Citrix, Fortinet, IBM, Intel,Microsoft, Moxa, NCR, Palo Alto, Schneider Electric, Siemens, Verifone, VMware.

Команда PT SWARM ведет блог с исследованиями, а также Твиттер; ее участники попадали в топ хакерских техник PortSwigger и были отмечены в залах славы многих известных компаний: Adobe, Apple, AT&T, IBM, GitLab, Google, Mastercard, Microsoft, PayPal, Salesforce и десятках других.

Мы ищем единомышленника - инженера по формальным методам, который станет частью нашей команды!

Обязанности

• Применение формальных методов для проверки смарт-контрактов, блокчейн приложений, алгоритмов
• Использование инструментов Coq, TLA+, Isabelle/Hol, SMTChecker, K Framework и т.д. для решения поставленных задач
• Построение, сопровождение и документирование формальных спецификаций
• Подтверждение исследовательских гипотез по применимости инструментария
• Проектирование и разработка инструментов формальной верификации
• Подготовка аналитических материалов и статей по исследуемым темам

• Профильное математическое образование или подтверждённый опыт применения формальных методов для проверки ПО;
• Знание инструментов создания и проверок формальных спецификаций;
• Знание git, linux.

Будет плюсом:

• Знания математической логики и её видов
• Умение программировать на языках общего назначения
• Опыт проектирования и разработки программного обеспечения
• Опыт работы с блокчейн технологиями и смарт-контрактами
• Знакомство с криптографией и теорией распределённых систем

• удаленная работа(ну или офисная, как удобно)
• мы даем все необходимые устройства для работы;
• мы одобряем и предоставляем возможность пройти любую тематическую сертификацию
• вы будете работать в команде признанных экспертов в offensive security;
• вы будете делать огромный вклад в безопасность приложений и компаний, с которыми вы и ваши знакомые пользуются и соприкасаются ежедневно;
• мы регулярно проводим как корпоративы в рамках компании, так и тим-билдинги отдела;
• у каждого из нас ДМС со стоматологией, вызовом врача на дом и экстренной госпитализацией. Плюс страховка для путешествий
  
• 10 дней дей-офф
  
• 75% компенсации затрат на спорт
• две недели дополнительного отпуска. Мы верим, что время – главный ресурс.

Годовой бонус, который зависит от результатов компании и вклада сотрудника.