CompilerJobs - vacantes para compiladores

tl;dr: math 💜 теория категорий, теория типов, формальная верификация, ML ресёрч, Япония/удалёнка, $90k-$130к++ Всегда радуемся, когда можем позвать куда-то математиков — сегодня у нас хороший день! ☀️ А зовём в Noeon Research, у которых своё мнение о будущем AI. Они разрабатывают систему генерации и анализа кода цифрового джуна — штуковину, которая умеет не только писать код, а как кожаные программисты общаться с коллегами, работать с документацией, изучать новые фреймворки и потихоньку превращаться в миддла🌱 Амбиции стартапа — построить сопоставимо умные с LLMs системы, но используя графы знаний, дискретные структуры, иерархический RL и много математики. На выходе получается полностью интерпретируемая и доступная для верификации система 📕 Будет круто, если у ребят получится сделать мощные системы с интерпретируемостью by design — мы в Лунапарке очень не любим чёрные коробки с миллионом слоёв внутри, и вам не советуем! 😡 В команду нужны опытные и автономные ресёрчеры, которые готовы быть самостоятельной единицей и работать без надзора сверху (и даже, возможно, нанять себе в команду сколько-то миддлов). В первую очередь — прикладные математики/комьютерные учёные с бэкграундом в теории типов, формальных языках, дискретной математике (алгоритмы на графах), семантическом анализе или program synthesis. Опыт в ML, конечно, будет большим плюсом. Кроме этого, ищем людей с очень хорошей теоретической базой в теории категории, теории вычислимости, статистическом обучении и/или теории сложности, и при этом умеющие превращать свои знания и прочитанные научные статьи в работающий код 🧑💻 Можно релоцироваться в Токио или работать из любой другой точки мира, дефолтная вилка $90k-$130k и можно выше. Есть возможность парт-тайма и даже консультирования, если вы, например, не хотите полностью уходить из академии! Присылайте резюме и графы своих знаний Лёше @paletskikh 🐱