tl;dr: algorithm research engineer(formal methods, category theory, graphs), $100k-135k, TokyoКогда-то давно, до трансформеров и DL, когда человек был лучшим шахматистом мира, а промптить значило задавать тему разговора, у индустрии была мечта — символический ИИ
Это была the idea to work on: возьмем формальную логику, заплатим миллионы долларов экспертам и впихнем их знания в языковой логический движок. Такие движки диагностировали инфекции крови лучше среднего врача, расшифровывали молекулярные структуры, занимались психотерапией (можно пообщаться тут), и при этом любое их решение было легко пояснить и изменить! Что могло пойти не так?
Символические системы не масштабировались. Экспертные знания стоили очень дорого, а новая прикольная штука под названием "интернет" просто не подходила для символики — в ней было слишком много противоречий
Индустрия переоткрыла backprop, родила глубокое обучение и отправилась делать черные коробки. И вот спустя 30 лет, когда черные коробки стали страшно умными, эксперты робко вспоминают о символике, в надежде сделать их еще и понятными. А
Noeon Research уже вовсю совмещает её с ML, чтобы сделать новую архитектуру
К логике они добавляют современную математику: трансформации графов, теорию категорий, самореферентность, автопруверы. LLM используют для форматирования ввода и вывода. В результате получается white-box система, где рассуждения можно проверить и объяснить
Мы уже рассказывали про них — это стартап в Токио с командой из 30 человек, куча PhD, организаторы Technical AI Safety Conference. Сейчас, как proof-of-concept, команда атакует Sudoku-Bench (где o3-mini выдает 14%)
Ищут
Data Structure & Algorithm Research Engineer — придумщика алгоритмов сразу двух команд: математичного R&D и прагматичных разрабов
Что делать: Дизайнить (не оптимизировать готовые!) алгоритмы для knowledge representation
Работать с трансформациями графов как основой вычислительной модели
Строить DSL и language infrastructure
Интегрировать символические подходы в ML.
Что нужно: теория графов, категорий, сложности;
формальные методы;
автопруверы (Z3, Lean);
knowledge graphs и компиляторы/интерпретаторы.
По языкам Python/Rust, совсем круто, если
Haskell. Ещё посмотрят на академический бэкграунд — ну, и ваши ICPC/Сodeforces ачивки тоже будут плюсом, конечно.
Платят
$100k-135k + опционы, перевозят не куда-нибудь, а в Токио
Приедете как VIP-гость — бизнес-класс, корпоративное жилье на первые два месяца, оформление визы и документов, переводчик для походов по врачам/банкам.
Пишите Маше @milshinamaria — или перешлите этот пост тому самому другу, который ходил на курс теорката
11.9K viewsedited 13:00