ФОП Лаврів

Розробник бортового програмного забезпечення (Flight Software)

~1 120 000 – 1 851 652 ₸ оценка по стеку, все рынки

Розробка flight-critical бортового ПЗ для аерокосмічних систем мовами Ada/SPARK: контури керування, сенсорна фузія, драйвери периферії (SPI, I2C, UART, CAN) та формальна верифікація коду за стандартом DO-178C. Шукають інженера з досвідом Ada/SPARK від 2 років або сильного C/C++ Embedded розробника (3+ роки) з глибоким розумінням ARM Cortex-M/R, DMA, переривань та вищої математики. Пропонують роботу над ядром безпеки системи з можливістю повного переходу на Ada/SPARK.

CV/ML Specialist (Research & Development)

Ищем CV/ML специалиста для R&D проекта в сфере БПЛА и автономной навигации. Нужен глубокий математический бэкграунд, опыт обучения нейросетей (детекция, локализация, сегментация), работа с компьютерным зрением и трекингом объектов. Предлагают удалённую работу full-time/part-time, оплату $4000–5000, официальное бронирование и высокую инженерную свободу.

FPGA дизайнер/Інженер цифрової обробки сигналів

~1 607 929 ₸ оценка по стеку, все рынки

Розробка FPGA-дизайну для системи стабілізації зображення та стеження, з фокусом на обробку відеосигналів у реальному часі. Потрібен досвідчений інженер з глибокими знаннями VHDL/Verilog, DSP та інструментів Xilinx/Altera. Працювати доведеться в тісній співпраці з командами апаратного та програмного забезпечення, переносити алгоритми з C/C++/Matlab на ПЛІС.

Головний математичний архітектор системи (GNC / State Estimation)

~1 120 000 – 2 209 156 ₸ оценка по стеку, все рынки

Шукають головного математичного архітектора для розробки алгоритмів керування, навігації та оцінки стану для БПЛА, роботів чи авіоніки. Потрібен досвід у GNC, сенсорній фузії (EKF/UKF), моделюванні на Python/MATLAB та production-коді на C++ або Rust. Робота включає синтез законів керування, адаптацію під мікроконтролери та підготовку алгоритмів до інтеграції на Ada/SPARK.

Розробник бортового програмного забезпечення (Flight Software)

~1 120 000 – 1 851 652 ₸ оценка по стеку, все рынки

Розробка критичного бортового ПЗ для аерокосмічної галузі мовою Ada/SPARK. Потрібен досвід у embedded (C/C++ або Ada) та сильна математична база. Робота включає формальну верифікацію коду, сенсорну фузію та низькорівневі драйвери.