Software Engineer, AI for Chip Design

Автоматический пересказ вакансии на русском. Полный текст на языке оригинала и форма отклика — на сайте работодателя.

Инженер-программист в команду AI for Chips: строит инфраструктуру и инструменты, с помощью которых модели OpenAI проектируют кремний. Работа на стыке software engineering, интеграции EDA-инструментов и исследовательских задач по reinforcement learning.

Задачи

• Создавать и поддерживать инфраструктуру для сред reinforcement learning, оценок и длительных экспериментов
• Интегрировать EDA-инструменты в процессы генерации RTL, верификации и оптимизации физического дизайна
• Повышать надёжность, воспроизводимость, наблюдаемость и производительность экспериментов; отлаживать сбои в инструментах, сервисах и инфраструктуре
• Разрабатывать инструменты и обвязки для моделей, позволяющие исследователям быстро проверять идеи и измерять корректность и PPA
• Сотрудничать с исследователями и инженерами, превращая удачные эксперименты в переиспользуемые системы и тренировочные процессы
• Вести неоднозначные проекты от начала до конца, сообщать о прогрессе и использовать результаты для следующей итерации

Требования

• Сильные фундаментальные знания в software engineering, опыт проектирования, реализации и отладки надёжных систем
• Способность работать по всему стеку, разбираться в незнакомых сбоях и находить практичные компромиссы между скоростью, корректностью и поддерживаемостью
• Опыт самостоятельной реализации существенных программных проектов с умением объяснять технические решения и их влияние
• Комфортная работа с исследователями в условиях меняющихся требований и превращение открытых задач в работающее ПО
• Интерес к тому, как reinforcement learning и инструменты проектирования чипов сочетаются друг с другом
• Забота о разработке безопасного и полезного ИИ

Условия

• Equal opportunity employer без дискриминации по расе, религии, цвету кожи, национальному происхождению, полу, сексуальной ориентации, возрасту, ветеранскому статусу, инвалидности, генетической информации и иным защищённым законом признакам
• Проверка биографических данных в соответствии с применимым законодательством
• Возможность запросить разумные приспособления для соискателей с инвалидностью

Навыки

• Python
• reinforcement learning
• distributed systems
• ML tooling
• EDA tools
• RTL
• Verilog
• SystemVerilog
• formal verification
• containers