Исследования

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

  • Параллелизм
  • Постоянство и развитие
  • Объектно-ориентированное программирование
  • Языковая проектировка и его прогресс
  • Архитектура ПО
  • Модельная верификация и временная логика
  • Сервисно-ориентированное программирование
  • Микросервисы

Основной язык разработки – Eiffel – это один из лучших подходов при разработке высококачественных программ с использованием современных инструментов и методов.

Мы тесно сотрудничаем с кафедрой разработки программ в Высшей политехнической школе Цюриха и участвуем в международных мероприятиях. Среди них ежегодная летняя школа разработки программ в Италии LASER. Совместно с Казанским Федеральным Университетом мы организуем Казанские семинары по разработке и верификации программ.

Мы являемся соорганизаторами международной конференции по разработки программ PSI 2015, которая пройдёт в Иннополисе в августе 2015 года и станет главным международным событием в этой области, проводящимся в России.

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

Присоединяйтесь к молодой и увлечённой команде, участвуйте в передовых исследованиях в программной инженерии.

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

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

Отправьте резюме и краткое описание области ваших исследовательских интересов в рамках данной лаборатории Мануэлю Маззара или Инне Баскаковой.

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

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