Инженер по верификации

Мы занимаемся верификацией цифровых систем на кристалле собственной разработки, востребованных в промышленной автоматизации.

Чтобы справиться с такой сложной, но интересной задачей, мы пользуемся современными подходами верификации и всегда ищем и пробуем новые.

Мы придерживаемся систематического маршрута, который хорошо себя зарекомендовал в мире. Он полагается на тщательное планирование, обеспеченное метриками покрытия, стратегию constrained random verification в UVM-среде, регрессионное тестирование и работу на получение понятного, измеримого результата.

Должностные обязанности:

• Верификация цифровых устройств различного размера и сложности: от интерфейсного моста до системы на кристалле.
• Полный цикл верификации:
• Планирование верификации.
• Разработка верификационной среды и тестов.
• Отладка устройства.
• Регрессионное тестирование.
• Сведение покрытия.
• Тесная работа с другими участниками маршрута разработки SoC: архитектором, дизайнерами, программистами.
• Участие в системной верификации: интеграция модульной среды на уровень системы, разработка системных стимулов и покрытия, разбор сбоев.

Требования к кандидату:

• Образование: высшее профессиональное 
• предпочтительные ВУЗы: НИЯУ МИФИ, МГТУ им. Баумана, МФТИ, МИЭТ, МИРЭА, МГУ им. М.В. Ломоносова, МЭИ
• направления: Автоматики, Электроники (микроэлектроники, наноэлектроники), Электротехники, Компьютерных/вычислительных/информационных систем/машин/комплексов, Прикладной информатики, Системного программирования и т.п.

Нам крайне важны:

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

В повседневной работе понадобятся:

• Понимание современных принципов верификации: планирование и покрытие, coverage-drivenverification и constrainedrandomverification.
• Понимание основ объектно-ориентированного программирования.
• Опыт разработки на SystemVerilog/UVM.
• Умение работать с Git.
• Знакомство с Redmine/Jira или другими системами отслеживания ошибок.
• Знакомство с Bamboo/Jenkins или другими системами непрерывной интеграции.

Отличным дополнением станут:

• Знакомство с методиками формальной верификации.
• Опыт применения SystemVerilog Assertions.
• Опыт gate-levelsimulation и отладки на вентильном уровне.
• Понимание лучших практик объектно-ориентированного программирования: SOLID, GRASP, шаблоны проектирования.
• Понимание принципов проектирования цифровой аппаратуры.

Условия работы и компенсационный пакет:

• Работа в стабильной компании с многолетним опытом.
• Заработная плата (белая), определяется по результатам собеседования в зависимости от квалификации и опыта работы кандидата.
• Полный социальный пакет: оплачиваемый больничный лист‚ оплачиваемый отпуск, дополнительное медицинское страхование, частичная оплата питания в корпоративной столовой, фитнес-зал.
• Офис: ст. м. Октябрьское поле (7 минут), ст. МЦК Зорге (2 минуты).
• Возможен гибридный график работы (офис/удаленка).