Principal Research Scientist (Computer Science / Computational Physics) – Remote

О позиции

Мы привлекаем Principal Research Scientist с глубоким опытом исследований в компьютерных науках или математической/вычислительной физике. В этой роли вы будете применять свои экспертные знания для помощи в обучении систем искусственного интеллекта нового поколения. Ваша работа определит, как модели учатся, рассуждают и выполняют задачи через высококачественный реальный вход. Опыт в области ИИ не требуется — важнее ваши предметные знания. Вы будете работать с фронтирными ИИ-моделями и агентами для решения открытых проблем, определять направление исследований и устанавливать стандарты научных прорывов.

Чем заниматься

• Идентифицировать, формулировать и описывать фундаментальные открытые проблемы, теоретические границы или симуляционные вызовы, где прогресс можно верифицировать
• Руководить ИИ-моделями и агентами в многошаговых исследовательских процессах — от доказательств и алгоритмов до численных экспериментов и высокопроизводительных симуляций
• Критически оценивать и проверять результаты с использованием проверок доказательств, воспроизведения вычислений и формальных методов для выявления границ рассуждений моделей
• Оценивать и документировать новизну, корректность и значимость научных результатов относительно текущей литературы и установленных достижений
• Создавать чёткие, лаконичные исследовательские мемуары с описанием попыток исследований, частичных решений и наблюдаемых ограничений моделей
• Консультировать по направлениям исследований, рекомендуя перспективные подполя и открытые проблемы для продвижения через ИИ-модели и вычислительные инструменты

Что ждут

• 7–10+ лет активной исследовательской деятельности в компьютерных науках или математической/вычислительной физике
• Сильная история научных публикаций, включая последние результаты за прошедший год в ведущих venues
• Признание на уровне области — крупные премии, fellowship обществ или приглашённые выступления на топ-конференциях
• Успешное решение известных открытых проблем или внедрение влиятельных концепций, принятых коллегами
• Глубокий практический опыт вычислительных исследовательских методов: симуляция, численный анализ, алгоритмическая реализация, высокопроизводительные вычислительные среды
• Доказанная способность строго анализировать технические работы за пределами вашей непосредственной области экспертизы
• Опыт работы в программных комитетах, редакционных советах или с формальными исследовательскими инструментами (Lean, Coq, SAT/SMT solvers) будет сильным плюсом

Будет плюсом

• Публичная запись формулировки открытых проблем или демонстрация исследований с передовыми ИИ-системами
• Опыт участия в программах committee
• Знание формальных верификационных инструментов

Условия

• Полностью удалённая работа из любой страны (более 50 стран)
• Гибкий график: частичная или полная занятость
• Работа с фронтирными ИИ-моделями и агентами
• Возможность определить направление исследований и установить стандарты научных прорывов
• Прямой вклад в развитие следующего поколения ИИ-систем
• Сотрудничество с ведущими исследователями в области

Навыки

• Machine Learning
• Deep Learning
• Computational Physics
• Numerical Analysis
• High-Performance Computing
• Algorithm Design
• Scientific Computing
• AI Research
• Formal Methods
• Simulation

Могут спросить на собеседовании

1. Как вы определяете приоритеты среди множества открытых проблем в вашей области?
2. Опишите случай, когда вы успешно применили формальные методы для верификации результатов.
3. Как вы оцениваете работу ИИ-моделя для доказательства теоремы или проведения численного эксперимента?
4. Какие критерии вы используете для определения новизны и значимости научных результатов?
5. Приведите пример сложной междисциплинарной задачи, которую вам пришлось решить.