Системный программист

з/п не указана

Требуемый опыт работы: 1–3 года

Полная занятость, полный день

Университет Иннополис – это интеллектуальное ядро нового города и первый российский университет, специализирующийся на образовании и научных исследованиях исключительно в области современных информационных технологий.

Мы активно развиваемся и поэтому приглашаем в команду системного программиста.

Обязанности:

  • реализация взаимодействия между компонентами приложения на базе микроядра seL4;
  • портирование приложений разработанных под seL4 для Linux.
Требования:
  • уверенное знание языка C и опыт промышленной разработки на нем;
  • уверенное знание архитектуры ядра и системных вызовов ОС Linux;
  • знание архитектуры и языка ассемблера для процессоров семейства x86_64 (а также, опционально, семейства ARM);
  • знание формата объектных и загрузочных файлов (ELF), а также Application Binary Interface для языка C в ОС Linux;
  • опыт нетривиального использования Binutils в Linux, например написания скриптов для линкера (ld) для создания образов ядра и системно-независимых загружаемых файлов;
  • будет плюсом опыт программирования низкоуровневых приложений с UEFI
  • будет плюсом опыт работы с верифицированными микроядрами seL4, CertikOS;
  • будет плюсом опыт программирования на функциональном языке: Haskel, OCaml, Standard ML.

Условия работы:

Самое главное — вы получите не только серьезный опыт работы в организации образовательной деятельности с экспертами своего дела, но и сможете внести свой вклад в развитие нового российского IT университета

Чтобы новый сотрудник быстро освоился в университете, его встретит руководитель отдела: он познакомит с командой и введет в курс задач.

  • оформление согласно ТК РФ: белая заработная плата, оплачиваемые отпуска и больничные
  • наличие корпоративного ДМС
  • 70% корпоративная скидка на посещение фитнес-клуба
  • бесплатный трансфер Казань-Иннополис-Казань
  • помощь с оформлением арендного жилья и регистрации в г. Иннополис
  • работа в современном комфортабельном офисе в новом городе Иннополис

Ключевые навыки

Linux
Системный подход
Assembler
Стратегическое мышление
Системное мышление

Контактная информация

Адрес

город Иннополис
Показать на большой карте

Вакансия опубликована 9 апреля 2021 в Казани

Похожие вакансии