Должность: Инженер-исследователь Местоположение: Пало-Альто / На месте

Вознаграждение: $200K - $450K в год

О HARMONIC

В Harmonic мы создаем математический движок для рассуждений, работающий с абсолютной точностью. В то время как большинство ИИ делает предположения с максимальной вероятностью, Aristotle от Harmonic использует Lean4 и обучение с подкреплением для проверки своих рассуждений и результатов.

После нашего выступления уровня золотой медали на Международной олимпиаде по математике (IMO) 2025 года и успешного решения давних открытых проблем мы доказываем, что ИИ может освоить самые строгие области человеческого мышления. Поддерживаемые одними из самых видных инвесторов в мире, мы целенаправленно масштабируем элитную техническую команду.

Посетите наш корпоративный блог, чтобы узнать больше о том, над чем мы работаем!

О РОЛИ

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

КЛЮЧЕВЫЕ ОБЯЗАННОСТИ

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

МИНИМАЛЬНЫЕ ТРЕБОВАНИЯ

Степень бакалавра или магистра в области компьютерных наук, математики или смежной технической области, или эквивалентный опыт работы в отрасли.
Сильные навыки программирования на Python, с опытом разработки и тестирования программного обеспечения.
Опыт работы с фреймворками глубокого обучения, такими как PyTorch.
Глубокое понимание математических концепций, включая алгебру, геометрию и анализ.

ПРЕДПОЧТИТЕЛЬНЫЕ КВАЛИФИКАЦИИ

Степень PhD в области компьютерных наук, математики или смежной области.
Опыт применения ИИ для решения практических задач в области формальных методов.
Подтвержденный опыт высококачественных исследований, продемонстрированный публикациями, патентами или вкладом в программное обеспечение.
Вклад в проекты с открытым исходным кодом или разработка инструментов программного обеспечения в данной области.
Сильный бэкграунд в области обучения с подкреплением, особенно в областях, связанных с доказательством теорем (например, машинное обучение, обработка естественного языка).
Владение формальными методами, включая опыт работы с системами доказательства теорем.

ЧТО МЫ ПРЕДЛАГАЕМ

Неограниченный PTO (оплачиваемый отпуск)
401(k) matching (софинансирование пенсионных накоплений)
100% оплачиваемое работодателем медицинское, офтальмологическое и стоматологическое страхование для сотрудников и 50% покрытие для иждивенцев. Harmonic предлагает различные варианты медицинского страхования, чтобы вы могли выбрать то, что лучше всего подходит вам и вашей семье.
Доступен счет медицинских сбережений (HSA) для соответствующих планов медицинского страхования

ЗАЯВЛЕНИЕ О РАВНЫХ ВОЗМОЖНОСТЯХ

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