tl;dr: math 💜 теория категорий, теория типов, формальная верификация, ML ресёрч, Япония/удалёнка, $90k-$130к++

Всегда радуемся, когда можем позвать куда-то математиков — сегодня у нас хороший день! ☀️

А зовём в Noeon Research, у которых своё мнение о будущем AI. Они разрабатывают систему генерации и анализа кода цифрового джуна — штуковину, которая умеет не только писать код, а как кожаные программисты общаться с коллегами, работать с документацией, изучать новые фреймворки и потихоньку превращаться в миддла🌱

Амбиции стартапа — построить сопоставимо умные с LLMs системы, но используя графы знаний, дискретные структуры, иерархический RL и много математики. На выходе получается полностью интерпретируемая и доступная для верификации система 📕
Будет круто, если у ребят получится сделать мощные системы с интерпретируемостью by design — мы в Лунапарке очень не любим чёрные коробки с миллионом слоёв внутри, и вам не советуем! 😡

В команду нужны опытные и автономные ресёрчеры, которые готовы быть самостоятельной единицей и работать без надзора сверху (и даже, возможно, нанять себе в команду сколько-то миддлов).
В первую очередь — прикладные математики/комьютерные учёные с бэкграундом в теории типов, формальных языках, дискретной математике (алгоритмы на графах), семантическом анализе или program synthesis. Опыт в ML, конечно, будет большим плюсом.

Кроме этого, ищем людей с очень хорошей теоретической базой в теории категорий, теории вычислимости, статистическом обучении и/или теории сложности, и при этом умеющие превращать свои знания и прочитанные научные статьи в работающий код 🧑‍💻

Можно релоцироваться в Токио или работать из любой другой точки мира, дефолтная вилка $90k-$130k и можно выше. Есть возможность парт-тайма и даже консультирования, если вы, например, не хотите полностью уходить из академии!

Присылайте резюме и графы своих знаний Лёше @paletskikh 🐱