Математик-програміст (алгоритми, навігація та сенсорна фузія) у Івано-Франківськ

Ви станете головним математичним архітектором системи, відповідальним за те, як апарат (БПЛА, робот або авіоніка) сприймає навколишній світ та реагує на нього. Ваша задача — розробка високонадійних алгоритмів фільтрації, навігації та автоматичного керування.

Ключові обов’язки та задачі:

1. Теорія керування та алгоритми стабілізації:

● Розробка, синтез та налаштування законів автоматичного керування (PID-регулятори, LQR/MPC або адаптивні системи) для динамічних об'єктів.

● Проектування логіки поведінки системи в просторі, забезпечення стійкості та точності виконання польотних/рухових місій.

2. Сенсорна фузія та оцінка стану (Estimation):

● Розробка алгоритмів комплексування даних (сенсорної фузії) для точного визначення орієнтації, позиції та швидкості об'єкта на основі даних з IMU, GPS, барометра та магнітометра.

● Проектування та реалізація адаптивних фільтрів: від комплементарних фільтрів для низько обчислювальних вузлів до Розширеного/Сигма-точкового фільтра Калмана (EKF / UKF).

3. Математичне моделювання та оптимізація:

● Побудова кінематичних та динамічних моделей систем з використанням лінійної алгебри та кватерніонів (для коректного опису тривимірного простору без сингулярностей).

● Адаптація математичного апарату під обмеження мікроконтролерів (MCU): аналіз та вибір між обчисленнями у floating-point та оптимізованою fixed-point арифметикою для мінімізації часу виконання та затримок.

4. Прототипування та підготовка до крос-платформної інтеграції:

● Швидке прототипування, симуляція та перевірка гіпотез у середовищах Python (NumPy, SciPy) або MATLAB/Simulink.

● Оформлення алгоритмів у вигляді чистих специфікацій або високорівневого коду (C++ / Rust) з подальшим співавторством у переносі та верифікації цих алгоритмів в Ada/SPARK (разом із інженером критичного контуру).

Профіль кандидата:

● Вища освіта в галузі прикладної математики, кібернетики, системного аналізу, робототехніки чи авіаційних систем. Глибоке розуміння фізики процесів.

● Досвід у розробці алгоритмів керування (Guidance, Navigation, and Control — GNC) або систем оцінки стану (State Estimation).

● Експертне володіння Python або MATLAB для моделювання.

● Досвід написання production-коду на C++ або Rust.

Великим плюсом буде:

● Розуміння концепцій контрактного програмування, що полегшить портування алгоритмів на Ada/SPARK.

● Чітке уявлення про те, як працюють цифрові датчики (шуми, дискретизація, затримки шин SPI/I2C), а також розуміння концепції детермінізму та жорстких дедлайнів у RTOS системах

Умови роботи

• Локація: Івано-Франківська область
• Формат роботи: офіс.
• Повна зайнятість.
• Робота над довгостроковими оборонними проєктами.
• Доступ до сучасного обладнання та технологій.
• Допомога з переїздом та оплата проживання.
• Бронювання військовозобов'язаних працівників.
• Конкурентна заробітна плата (визначається за результатами співбесіди).
• Сучасний офіс.
• Оплачувана щорічна відпустка — 24 календарні дні.