Embedded / Flight Software Engineer (Ada/SPARK)

Запрошуємо до команди Embedded / Flight Software Engineer, який долучиться до розроблення бортового програмного забезпечення для високонадійних вбудованих систем.

Шукаємо інженера з досвідом розробки на Ada/SPARK або сильного Embedded-розробника на C/C++, готового освоїти Ada/SPARK і працювати над програмними компонентами, де критично важливі надійність, точність і передбачуваність роботи.

Основні обов’язки:

• Розроблення бортового програмного забезпечення для систем автоматичного керування.

• Реалізація алгоритмів керування, обробки сигналів і об’єднання даних із сенсорів.

• Розроблення механізмів виявлення та обробки апаратних відмов.

• Використання Ada/SPARK для створення надійного коду та формальної перевірки його коректності.

• Розроблення низькорівневих драйверів і взаємодія з апаратними компонентами через SPI, I?C, UART, CAN/CAN FD.

• Робота з системами реального часу, налаштування та оптимізація виконання програмних завдань.

• Участь у тестуванні, верифікації та вдосконаленні програмного забезпечення.

Наші очікування:

• Досвід розробки на Ada/SPARK від 2 років або досвід Embedded-розробки на C/C++ від 3 років і готовність перейти на Ada/SPARK.

• Розуміння архітектури вбудованих систем та ARM Cortex-M/R.

• Практичні знання роботи з регістрами, перериваннями, DMA та таймерами.

• Розуміння принципів роботи систем реального часу та детермінованого виконання коду.

• Знання вищої математики, зокрема матричного числення та теорії керування.

• Уважність до деталей, системне мислення та відповідальний підхід до якості коду.

Буде перевагою:

• Практичний досвід роботи з Ada/SPARK і формальною верифікацією коду за допомогою GNATprove.

• Знання стандартів DO-178C, ISO 26262 або EN 50128.

• Досвід розроблення програмного забезпечення для систем, критичних до безпеки.

• Знання MISRA C/C++ та досвід проходження аудитів програмного забезпечення.

• Досвід роботи з GNAT, Alire, gprbuild або Ada Drivers Library.

Ми пропонуємо:

• Офіційне працевлаштування.

• Бронювання 

• Конкурентну заробітну плату за результатами співбесіди.

• Компенсацію витрат на житло в разі переїзду.

• Необхідне обладнання та інструменти для роботи.

• Участь у розробленні складних інженерних рішень у сфері MilTech.

• Можливості професійного розвитку та роботи з технологіями високої надійності.

Зацікавила вакансія? Надсилайте резюме  будемо раді обговорити деталі співпраці.