Розробник бортового програмного забезпечення (Flight Software)
Розробка критичного бортового ПЗ для аерокосмічної галузі мовою Ada/SPARK. Потрібен досвід у embedded (C/C++ або Ada) та сильна математична база. Робота включає формальну верифікацію коду, сенсорну фузію та низькорівневі драйвери.
Отклик отправляется на сайте источника. Регистрация в Taylor для перехода не нужна.
Зарплата не указана — оценили по рынку
На основе 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>
Стек и инструменты
Сколько платят вам?
Анонимно укажите, сколько вы получаете как C++-разработчик, — сразу покажем, в скольких вакансиях платят меньше. А из ответов сложится зарплата, которую платят на деле, а не обещают.
Подходит ли вам эта вакансия?
Зарегистрируйтесь и загрузите резюме — посчитаем % совпадения с этой вакансией, подсветим сильные стороны и что стоит подтянуть
Ещё в ФОП Лаврів
5 активных вакансий в компании
Розробник бортового програмного забезпечення (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.
Похожие вакансии
6 вакансийРазработчик встраиваемых систем C++/Qt
Разработка и оптимизация встраиваемых приложений на C++ и Qt/QML для промышленного оборудования. Участие в выборе технических решений, проектировании архитектуры ПО и реализации протоколов связи. Следует лучшим практикам и постоянному улучшению систем.
Разработчик C/C++
Разработка программных модулей для системы анализа трафика сетей связи широкополосного доступа и поддержка существующего кода. Требуется уверенное владение C/C++ и работа в среде Linux с современными стандартами разработки. Условия и уровень оплаты в тексте не указаны.
C++ разработчик браузерных решений
Нужен C++ разработчик для патчинга браузеров на базе Chromium и работы над stealth-решениями. Задачи связаны с обходом browser fingerprinting и anti-bot защит. Требуется экспертиза в C++ и понимание внутренностей браузера.
Разработчик C++ (цифровая обработка сигналов)
Разработка на C++ для цифровой обработки сигналов и идентификации систем связи. Нужны STL, шаблоны, многопоточность, работа с SDR-приёмниками и оптимизация кода через SIMD на Linux. Условия и уровень не указаны.
C++ Embedded Engineer
~1 120 000 – 1 851 652 ₸ оценка по стеку, все рынки
Компания ищет C++ Embedded инженера для разработки и поддержки embedded-систем на базе Linux с фокусом на производительность и надёжность. Нужно 3+ года коммерческого опыта на C++ (C++17/20), уверенная работа с многопоточностью, IPC и Linux/POSIX, плюс навыки отладки и профилирования. Предлагают официальное трудоустройство, график 5/2, оплачиваемый отпуск и больничные, работу в команде над инновационными продуктами.
C++ Embedded Developer
~1 120 000 – 1 851 652 ₸ оценка по стеку, все рынки
Ajax Systems ищет C++ разработчика в отдел Systems для создания и улучшения встроенного ПО для устройств Ajax. Нужен опыт на C++ от 3 лет, знание Linux, boost.asio, понимание процессов и потоков, навыки тестирования. Компания предлагает конкурентную зарплату, медстраховку, корпоративные занятия английским и работу над глобальным продуктом безопасности.