Розробник бортового програмного забезпечення (Flight Software)
Розробка критичного бортового ПЗ для аерокосмічної галузі мовою Ada/SPARK. Потрібен досвід у embedded (C/C++ або Ada) та сильна математична база. Робота включає формальну верифікацію коду, сенсорну фузію та низькорівневі драйвери.
Зарплата не указана — оценили по рынку
На основе 29 похожих вакансий за 90 дней.
Что предстоит делать
<p>Вы станете основой команды разработки бортового программного обеспечения (Flight Software), ответственным за создание flight-critical кода (DAL A/B по DO-178C). Ваша роль — разработка ядра безопасности системы: контуров автоматического управления, систем обработки критических отказов и драйверов для высоконадёжных аппаратных узлов. </p><p><b>Ключевые обязанности и задачи: </b></p><p>1. Разработка Flight-Critical кода и сенсорная фузия (Ada/SPARK): </p><ul><li>Написание детерминированного кода для контуров управления (PID-регуляторы, комплементарные фильтры, фильтры Калмана) на языке Ada. </li><li>Математическое моделирование и реализация вычислений пространственной ориентации объекта (линейная алгебра, кватернионы) с использованием фиксированной точки (fixed-point) или строго типизированной плавающей точки. </li><li>Обработка и сенсорная фузия данных с критической бортовой периферии: IMU, GPS, барометров, магнитометров. </li><li>Разработка логики изоляции и обработки критических аппаратных отказов (Fail-Safe / Fail-Operational режимы). </li></ul><p><b>2. Формальная верификация и контрактное программирование (SPARK): </b></p><ul><li>Применение SPARK для формального доказательства корректности кода. </li><li>Проектирование архитектуры по принципам контрактного программирования: описание пред- и постусловий (pre/postconditions), а также инвариантов типов (type invariants). </li><li>Математическое доказательство отсутствия ошибок времени выполнения (Division by zero, Buffer Overflow, Array Index out of bounds) с помощью статического анализатора GNATprove. </li></ul><p><b>3. Архитектура реального времени и ограниченные профили рантайма: </b></p><ul><li>Работа с детерминированными профилями рантайма (в частности Ravenscar или light-tasking). </li><li>Настройка и оптимизация планировщиков задач, глубокое понимание того, почему ограничения динамической памяти и сложности тасок необходимы для предсказуемого анализа планировщика (WCET / worst-case execution time). </li></ul><p><b>4. Низкоуровневая разработка и инструментарий (Toolchain): </b></p><ul><li>Разработка низкоуровневых драйверов для аппаратных узлов через интерфейсы SPI, I2C, UART, CAN / CAN FD с использованием средств спецификации представления данных в Ada (Representation clauses) для точного маппинга регистров.</li><li>Работа с экосистемой: компилятор GNAT (arm-eabi), менеджер пакетов Alire (gnat_arm_elf), система сборки gprbuild и использование/адаптация компонентов Ada Drivers Library. </li></ul><p><b>Профиль идеального кандидата: </b></p><ul><li>Опыт разработки на Ada/SPARK от 2 лет ИЛИ сильный C/C++ Embedded инженер (3+ года) с выраженным формально-математическим мышлением, чистым кодом (пониманием MISRA) и экспертной готовностью полностью перейти на Ada/SPARK. </li><li>Глубокое понимание встраиваемых систем: архитектура ARM Cortex-M/R, работа с регистрами, DMA, прерываниями и таймерами. </li><li>Знание высшей математики (особенно матричного исчисления и теории управления). ● Будет весомым плюсом: Знакомство со стандартами функциональной безопасности и процессами сертификации (DO-178C, EN 50128 или ISO 26262), опыт прохождения аудитов ПО.</li></ul> <div> <a href="https://jobs.dou.ua/companies/fop-lavriv/vacancies/372827/#reply-btn-id">Откликнуться на вакансию</a> </div>
Стек и инструменты
Подходит ли вам эта вакансия?
Зарегистрируйтесь и загрузите резюме — посчитаем % совпадения с этой вакансией, подсветим сильные стороны и что стоит подтянуть
Ещё в ФОП Лаврів
4 активные вакансии в компании
Розробник вбудованого програмного забезпечення (Embedded C/C++)
~2 056 005 ₸ оценка по стеку
Розробка вбудованого ПЗ для мікроконтролерів (STM32, AVR, ESP, PIC) на C/C++ та проєктування електронних схем і плат. Потрібен комерційний досвід від 3 років, впевнене володіння C/C++ та розуміння аналогових і цифрових схем. Пропонують повну зайнятість у R&D-команді над оборонними та промисловими системами, професійний розвиток і бронювання співробітників.
FPGA дизайнер/Інженер цифрової обробки сигналів
~2 181 200 ₸ оценка по стеку
Розробка FPGA-дизайну для системи стабілізації зображення та стеження, з фокусом на обробку відеосигналів у реальному часі. Потрібен досвідчений інженер з глибокими знаннями VHDL/Verilog, DSP та інструментів Xilinx/Altera. Працювати доведеться в тісній співпраці з командами апаратного та програмного забезпечення, переносити алгоритми з C/C++/Matlab на ПЛІС.
Головний математичний архітектор системи (GNC / State Estimation)
~3 807 264 – 5 153 127 ₸ оценка по стеку
Шукають головного математичного архітектора для розробки алгоритмів керування, навігації та оцінки стану для БПЛА, роботів чи авіоніки. Потрібен досвід у GNC, сенсорній фузії (EKF/UKF), моделюванні на Python/MATLAB та production-коді на C++ або Rust. Робота включає синтез законів керування, адаптацію під мікроконтролери та підготовку алгоритмів до інтеграції на Ada/SPARK.
Похожие вакансии
6 вакансийFPGA дизайнер/Інженер цифрової обробки сигналів
~2 181 200 ₸ оценка по стеку
Розробка FPGA-дизайну для системи стабілізації зображення та стеження, з фокусом на обробку відеосигналів у реальному часі. Потрібен досвідчений інженер з глибокими знаннями VHDL/Verilog, DSP та інструментів Xilinx/Altera. Працювати доведеться в тісній співпраці з командами апаратного та програмного забезпечення, переносити алгоритми з C/C++/Matlab на ПЛІС.
C/C++ разработчик (системное программирование)
~2 056 005 ₸ оценка
Разработка и поддержка высоконагруженных C/C++ систем для инфраструктуры разговорного ИИ. Основной фокус — телефония, SIP и Asterisk. Требуется сильный опыт системного программирования и умение оптимизировать и защищать компоненты связи в реальном времени.
Головний математичний архітектор системи (GNC / State Estimation)
~3 807 264 – 5 153 127 ₸ оценка по стеку
Шукають головного математичного архітектора для розробки алгоритмів керування, навігації та оцінки стану для БПЛА, роботів чи авіоніки. Потрібен досвід у GNC, сенсорній фузії (EKF/UKF), моделюванні на Python/MATLAB та production-коді на C++ або Rust. Робота включає синтез законів керування, адаптацію під мікроконтролери та підготовку алгоритмів до інтеграції на Ada/SPARK.
Разработчик C (системное программирование)
Нужен разработчик на C для развития ядра системы создания образов дисков. Предстоит системное программирование под Windows Kernel и файловые системы, оптимизация производительности и работа над безопасностью, storage и backup-решениями. Требуется глубокое понимание низкоуровневой разработки.
Розробник вбудованого програмного забезпечення (Embedded C/C++)
~2 056 005 ₸ оценка по стеку
Розробка вбудованого ПЗ для мікроконтролерів (STM32, AVR, ESP, PIC) на C/C++ та проєктування електронних схем і плат. Потрібен комерційний досвід від 3 років, впевнене володіння C/C++ та розуміння аналогових і цифрових схем. Пропонують повну зайнятість у R&D-команді над оборонними та промисловими системами, професійний розвиток і бронювання співробітників.
Embedded Systems Engineer
~2 056 005 ₸ оценка по стеку
Розробка firmware на C/C++ для мікроконтролерів у складі міжнародної команди, що створює технології для військових БПЛА. Потрібен досвід із bare metal, RTOS, периферією, драйверами, UART/I²C, а також уміння діагностувати плати на межі hardware та software. Пропонують роботу в офісі в Києві, доступ до передових технологій, професійний розвиток і конкурентну винагороду.