Noeon Research — Researcher (теория типов, формальные языки, ML)

Researcher (теория типов, формальные языки, ML)
Noeon Research
90.000 to 130.000 USD per year
Remote / Tokyo / Relocation

Noeon Research разрабатывает систему генерации и анализа кода цифрового джуна на графах знаний, дискретных структурах и иерархическом RL; цель - интерпретируемая и верифицируемая система

Обязанности:
• Самостоятельная работа в команде ресёрчеров без надзора сверху
• Превращать знания и прочитанные научные статьи в работающий код

Требования:
• Опытные и автономные ресёрчеры
• Прикладные математики/компьютерные учёные с бэкграундом в теории типов, формальных языках, дискретной математике (алгоритмы на графах), семантическом анализе или program synthesis
• Очень хорошая теоретическая база в теории категорий, теории вычислимости, статистическом обучении и/или теории сложности

Будет плюсом:
• Опыт в ML

Контакты:
@paletskikh