Системный аналитик (математик)

Уважаемые кандидаты! Мы ищем людей с навыками в прикладной математике. Нам важно, чтобы кандидат, хотя бы в универе, изучал теорию множеств, формальную логику, графы. Если вы не знакомы с этими понятиями, просьба НЕ откликаться! Не тратьте ни моё ни всё время.

У нас есть продукт, находящийся на стадии подготовки к выпуску первой версии MVP. Продукт автоматизирует проверку строительной документации на соответствие нормам законов и сводов правил (это не классический нормоконтроль чертежей).

Чтобы всё работало необходимо формализовать нормы. Процесс формализации не простой, но поддаётся алгоритмизации и, в целом, для нас уже стал типовой задачей. Но много деталей и комбинаций остаётся за бортом, много норм ещё не замоделировано.

Да, мы пока делаем "по-старинке" через моделирование предметной области. Но мы уже прикрутили ИИ ассистента, который должен помочь нам в рутинных операциях, а заодно покажет возможности перехода на прогрессивные методы работы с нормативной документацией.

Мы ищем системного аналитика, который возьмёт на себя область формализации нормативных актов.

Обязанности:

• формализация норм. актов,
• проверка полноты и точности покрытия формальными правилами,
• контроль качества формализации на протяжении ЖЦ продукта в т.ч. с использованием автоматизированной системы тестирования
• разработка модели предметной области
• исследование применения ИИ для решения задачи

• аналитический склад ума,
• формальная логика, теория множеств, мат. моделирование
• развитое пространственное мышление
• внимание к деталям
• желание и умение досконально разбираться в теме
• желательно, опыт работы с гос. нормативно-правовыми актами
• желательно, общее представление о формальных языках, процессе их создания и тестирования

• оформление ИП (-6% от суммы)/в штат (-13% от суммы)
• возможно неполная занятость, но не менее 80%