Formal Verification Engineer

Должность: Инженер по формальной верификации Местоположение: Северная Америка / Испания / Санта-Клара, Калифорния, США; Испания

Tenstorrent является лидером отрасли в области передовых технологий ИИ, революционизируя ожидания от производительности, простоты использования и экономической эффективности. Поскольку ИИ переопределяет парадигму вычислений, решения должны развиваться, чтобы объединить инновации в программных моделях, компиляторах, платформах, сетях и полупроводниках. Наша разнообразная команда технологов с нуля разработала высокопроизводительный процессор RISC-V и разделяет страсть к ИИ и глубокое желание создать лучшую возможную платформу для ИИ. Мы ценим сотрудничество, любознательность и стремление решать сложные задачи. Мы расширяем нашу команду и ищем сотрудников всех уровней.

Tenstorrent ищет инженера по формальной верификации, который поможет обеспечить корректность наших процессоров RISC-V следующего поколения и вычислительных платформ для ИИ. Вы будете использовать формальные методы для доказательства корректности сложного аппаратного поведения, выявления крайних случаев, которые могут быть упущены при моделировании, и предоставления архитекторам и RTL-проектировщикам уверенности в корректности их разработок. Вы будете тесно сотрудничать с архитекторами ЦП, RTL-проектировщиками и другими инженерами по верификации (DV) для разработки свойств, создания сред формальной верификации, анализа сбоев и устранения проблем. Это практическая возможность применить формальные методы для решения сложных задач в области проектирования современных процессоров.

Эта роль является удаленной, с базированием в Северной Америке или Испании.

Мы приветствуем кандидатов с различным уровнем опыта на эту должность. В процессе собеседования кандидаты будут оценены на соответствующий уровень, и предложения будут соответствовать этому уровню, который может отличаться от указанного в этом объявлении.

Кто вы: Инженер по верификации, который любит решать сложные задачи и находить ошибки, которые трудно выявить с помощью традиционного моделирования. Уверенно рассуждает о поведении аппаратного обеспечения с точки зрения свойств, инвариантов, предположений, утверждений и доказательств. Сильный специалист по отладке, способный анализировать контрпримеры, понимать поведение RTL и определять первопричину сбоев. Коллаборативный и любознательный, заинтересованный в тесном сотрудничестве с архитекторами и RTL-проектировщиками для повышения качества проектирования. Вдохновлен сложными задачами верификации высокопроизводительных ЦП и сложного цифрового оборудования.

Что нам нужно: 6+ лет опыта в верификации проектирования, формальной верификации или смежной верификации RTL для ЦП, SoC, ASIC или сложных цифровых разработок. Практический опыт работы с методологиями и инструментами формальной верификации, включая проверку свойств, утверждения, предположения, ограничения и анализ покрытия. Отличные навыки SystemVerilog, включая опыт написания и отладки SVA. Глубокое понимание цифрового проектирования и архитектуры компьютеров; опыт работы с конвейерами ЦП, кэшами, интерфейсами, логикой управления или другой сложной микроархитектурой очень ценен. Сильные навыки программирования и скриптования на Python, Tcl, C/C++ или аналогичных языках, с отличными способностями к отладке и решению проблем.

Что вы узнаете: Получите глубокий опыт применения формальной верификации к высокопроизводительным, внеочередным конструкциям RISC-V ЦП. Научитесь определять, какое поведение аппаратного обеспечения лучше всего верифицируется с помощью формальных методов по сравнению с моделированием, эмуляцией и другими методами DV. Разработаете экспертные знания в написании масштабируемых свойств и доказательств для сложной логики управления и взаимодействующих микроархитектурных блоков. Узнаете, как архитектурное намерение преобразуется в формальные свойства, предположения и измеримые цели верификации. Будете работать вместе с архитекторами ЦП мирового класса и инженерами RTL над процессорами следующего поколения для ИИ, HPC и высокопроизводительных вычислений.

Компенсация для всех инженеров в Tenstorrent варьируется от 100 000 до 500 000 долларов США, включая базовую и переменную компенсацию. Опыт, навыки, образование, бэкграунд и местоположение — все это влияет на фактическое предложение. Tenstorrent предлагает высококонкурентный пакет компенсаций и льгот, и мы являемся работодателем, предоставляющим равные возможности. Настоящее предложение о работе зависит от того, имеет ли заявитель право на доступ к экспортно-контролируемым технологиям США. В связи с экспортным законодательством США, включая положения Регламента экспортного контроля США (EAR), Компания обязана обеспечить соблюдение этих законов при передаче технологий гражданам определенных стран (таких как Группы стран EAR D:1, E1 и E2). Эти требования применяются к лицам, находящимся в США и во всех странах за пределами США. Поскольку предлагаемая должность будет иметь прямой и/или косвенный доступ к информации, системам или технологиям, подпадающим под действие этих законов, предложение может зависеть от вашего гражданства/статуса постоянного жителя или возможности получить предварительное разрешение на лицензирование от Министерства торговли США или соответствующего федерального агентства. Если трудоустройство невозможно из-за экспортного законодательства США, любое предложение о работе будет отозвано.