IT вакансии в Казахстане
Ищите вакансии и переходите к работодателю без регистрации.
В каталоге 7 146 вакансий из 11 источников
Розробник бортового програмного забезпечення (Flight Software)
ещё 1 похожая вакансия этой компании~1 120 000 – 1 851 652 ₸ оценка по стеку, все рынки
Розробка критичного бортового ПЗ для аерокосмічної галузі мовою Ada/SPARK. Потрібен досвід у embedded (C/C++ або Ada) та сильна математична база. Робота включає формальну верифікацію коду, сенсорну фузію та низькорівневі драйвери.
Розробник бортового програмного забезпечення (Flight Software)
ещё 1 похожая вакансия этой компании~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.
Вы просмотрели все 2 вакансии