Об университете
Лаборатории

Открыты вакансии в лаборатории программной инженерии Бертрана Мейера

Университет Иннополис совместно с МФТИ открыл лабораторию, целью создания которой является разработка среды для программ высокой надёжности, а также подготовка научных кадров. Её возглавляет выдающийся французский учёный в области инженерии программного обеспечения профессор Бертран Мейер.

Мы приглашаем аспирантов (имеющих или заканчивающих получение степени магистра в университете) и кандидатов (имеющих или заканчивающих получение учёной степени кандидата наук) для участия в передовых исследованиях в области программной инженерии. 

Требования:

  • уровень бакалавра по компьютерным наукам, для аспирантов – степень магистра, для младших научных сотрудников – докторская степень;
  • уровень английского языка не ниже Intermediate;
  • владение языками программирования Java, C++ (знание Eiffel будет плюсом при рассмотрении резюме);
  • знание математики, теории алгоритмов, компиляторов, операционных систем, программной инженерии, программирования.

Опыт:

Младший научный сотрудник: уровень докторской, значительное количество научных работ и проектов. Профессиональный опыт будет являться плюсом.

Аспиранты: степень магистра, профессиональный опыт будет плюсом

Сфера работы:

  • разработка и тестирование,
  • программная инженерия,
  • верификация программных систем и формальные методы.

Eiffel — основной язык разработки. 

Основные обязанности:

Проведение научных исследований, написание научных трудов, 30% времени преподавание в качестве ассистента профессора.

Мероприятия:

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

Области исследований лаборатории:

  • параллельные и распределённые вычисления;
  • объективно-ориентированное проектирование;
  • языки программирования и спецификаций;
  • архитектура ПО;
  • model checking и темпоральная логика;
  • сервисно-ориентированные архитектуры;
  • микросервисы.


Процедура отбора и сроки:

  • заочное собеседование;
  • тестирование знаний в предметной области;
  • очное собеседование;
  • прием на работу.

Заработная плата 90-160 т.р. по результатам собеседования.

Нажатие кнопки "Подать заявку" сформирует e-mail в адрес ассистента лаборатории. Письмо должно быть составлено на английском языке и содержать:

  • резюме;
  • мотивационное письмо;
  • рекомендательные письма и/или контакты рекомендодателей.

В центре внимания

Сайт находится в технической разработке