Розробник бортового програмного забезпечення (Flight Software)
Розробка flight-critical бортового ПЗ для аерокосмічних систем мовами Ada/SPARK: контури керування, сенсорна фузія, драйвери периферії (SPI, I2C, UART, CAN) та формальна верифікація коду за стандартом DO-178C. Шукають інженера з досвідом Ada/SPARK від 2 років або сильного C/C++ Embedded розробника (3+ роки) з глибоким розумінням ARM Cortex-M/R, DMA, переривань та вищої математики. Пропонують роботу над ядром безпеки системи з можливістю повного переходу на Ada/SPARK.
Отклик отправляется на сайте источника. Регистрация в Taylor для перехода не нужна.
Что предстоит делать
<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/372828/#reply-btn-id">Откликнуться на вакансию</a> </div>
Стек и инструменты
Зарплата не указана — оценили по рынку
На основе 26 похожих вакансий за 90 дней.
Сколько платят вам?
Вакансии показывают, что обещают работодатели. Анонимно расскажите, сколько получаете вы как C++-разработчика — так появится зарплата, которую платят на деле.
Подходит ли вам эта вакансия?
Зарегистрируйтесь и загрузите резюме — посчитаем % совпадения с этой вакансией, подсветим сильные стороны и что стоит подтянуть
Ещё в ФОП Лаврів
3 активные вакансии в компании
FPGA дизайнер/Інженер цифрової обробки сигналів
~1 257 250 – 2 323 000 ₸ оценка по стеку
Розробка FPGA-дизайну для системи стабілізації зображення та стеження, з фокусом на обробку відеосигналів у реальному часі. Потрібен досвідчений інженер з глибокими знаннями VHDL/Verilog, DSP та інструментів Xilinx/Altera. Працювати доведеться в тісній співпраці з командами апаратного та програмного забезпечення, переносити алгоритми з C/C++/Matlab на ПЛІС.
Розробник бортового програмного забезпечення (Flight Software)
~907 860 – 1 471 250 ₸ оценка по стеку
Розробка критичного бортового ПЗ для аерокосмічної галузі мовою Ada/SPARK. Потрібен досвід у embedded (C/C++ або Ada) та сильна математична база. Робота включає формальну верифікацію коду, сенсорну фузію та низькорівневі драйвери.
Похожие вакансии
6 вакансийC/C++ SoC Engineer (Embedded Linux / FPGA)
~907 860 – 1 471 250 ₸ оценка
Разработка решений для цифровой связи на стыке софта и железа: C/C++, Embedded Linux, SoC/FPGA. Нужно работать с ядром Linux, драйверами, оптимизацией производительности и аппаратурой (PL/PS, DMA).
RTL-инженер
~907 860 – 1 471 250 ₸ оценка
Разработка процессорных IP-ядер RISC-V для серверов, сетевого оборудования и систем хранения. Нужен опыт RTL-разработки от 3 лет, знание Verilog/SystemVerilog и Linux. Плюсом будет опыт с помехоустойчивым кодированием, стандартами LTE/5G и Python/MATLAB.
C++ Developer (Middle)
~907 860 – 1 471 250 ₸ оценка
Разработка и оптимизация высокопроизводительных C/C++ компонентов, low-level модулей и кроссплатформенных решений. Нужно работать с сетевыми протоколами, устранять узкие места и баги. Требуется опыт системного программирования на C/C++.
Инженер-разработчик БпАК (микроконтроллеры, прошивки)
Розробка прошивок та налаштування мікроконтролерів (STM32, ESP32, Raspberry Pi) для безпілотних авіаційних комплексів, інтеграція з ArduPilot/PX4 та MAVLink, проєктування електронних схем. Потрібен досвід C/C++, Python, роботи з сенсорами та схемотехнікою. Умови — військова служба за контрактом або мобілізація з доступом до сучасного обладнання та навчання.
Embedded инженер
~907 860 – 1 157 522 ₸ оценка
Британско-украинская оборонная tech-компания ищет Embedded инженера, который возьмёт на себя разработку прошивок и встраиваемых систем для устройств на передовой. Нужен глубокий опыт с C/C++ для микроконтроллеров STM32/ESP32 и Embedded Linux, знание FreeRTOS, протоколов I2C/SPI/UART/CAN и умение работать с измерительным оборудованием. Предлагают высокую автономию, работу над реальными deep-tech задачами в сфере ПВО и официальное трудоустройство с полным соцпакетом.
Инженер по технической поддержке и разработке (C++/Python)
~907 860 – 1 157 522 ₸ оценка
В ARX Robotics вы будете поддерживать надёжность автономных наземных систем: прошивать прошивки, настраивать оборудование, решать сложные технические проблемы на месте и удалённо, а также дорабатывать функциональность и исправлять баги. Нужны опыт от 2 лет в разработке ПО, встраиваемых системах или техподдержке, уверенный Linux, Python, Bash и C++, понимание аппаратно-программного взаимодействия. Предлагают конкурентную зарплату, работу в международной команде и возможности для роста.