Prolog developer

Обязанности

• Разработка, поддержка и оптимизация программных решений на Prolog.
• Проектирование и реализация логических моделей, правил, предикатов и механизмов вывода.
• Участие в разработке экспертных систем, систем принятия решений, поиска, планирования или обработки знаний.
• Анализ предметной области и формализация бизнес-логики в виде логических правил.
• Оптимизация производительности Prolog-кода, поиск и устранение узких мест.
• Интеграция Prolog-решений с внешними сервисами, базами данных и приложениями.
• Написание и поддержка технической документации.
• Участие в код-ревью, обсуждении архитектурных решений и выборе подходов к реализации задач.
• Покрытие ключевой логики тестами и поддержка качества кода.

Требования

• Опыт разработки на Prolog.
• Понимание принципов логического программирования: унификация, рекурсия, backtracking, предикаты, факты и правила.
• Умение проектировать и поддерживать сложные базы знаний и наборы логических правил.
• Опыт оптимизации Prolog-программ и понимание особенностей производительности.
• Навыки работы с алгоритмами поиска, деревьями решений, графами или constraint logic programming.
• Опыт интеграции Prolog с другими языками программирования или внешними системами будет плюсом.
• Понимание базовых принципов разработки ПО: контроль версий, тестирование, документация, code review.
• Умение разбираться в сложной предметной области и переводить требования в формальные правила.
• Внимательность к деталям и способность работать с нетривиальной логикой, где один неверный предикат способен превратить систему в философский спор с компилятором.

Условия

• Работа над задачами, связанными с логическим программированием, экспертными системами и интеллектуальной обработкой данных.
• Возможность участвовать в проектировании архитектуры и влиять на технические решения.
• Официальное оформление и стабильная выплата заработной платы.
• Гибкий график работы.
• Возможность удаленной или гибридной работы.
• Профессиональная команда и понятные процессы разработки.
• Возможность развиваться в области AI, symbolic reasoning и knowledge-based systems.
• Конкурентный уровень дохода, обсуждаемый по итогам собеседования.