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

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



Целью создания лаборатории программной инженерии и верификации программ является разработка (математических) теорий, методов и практических инструментов для обеспечения высоких показателей надёжности программных систем, и подготовка научных кадров в области статического анализа программ и формальных методов.

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

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

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

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

Требования

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

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

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

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

Подробности тут.