Обратно к вакансиям

В лабораторию Дискретной оптимизации и формальных методов, входящую в международный научный центр компьютерных технологий Университета ИТМО, требуется Java-разработчик.

Мы ищем основного разработчика для совместного R&D проекта с крупной IT-компанией. Проект связан с тестированием программного обеспечения, методами синтеза конечных автоматов и методами проверки моделей (model checking). После окончания проекта предполагается продолжение работы в других научно-исследовательских проектах лаборатории.

Обязанности

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

Требования

  • минимальный уровень образования – наличие диплома по направлениям: прикладная математика и информатика, компьютерные науки;
  • отличное знание языка Java, методов и паттернов проектирования и разработки;
  • уверенное владение Git, Gradle, Docker;
  • владение Unix-подобными системами, bash;
  • опыт промышленной разработки будет плюсом;
  • отличное знание дискретной математики будет плюсом;
  • опыт научной работы в указанных областях будет плюсом;
  • хорошие коммуникационные навыки, умение работать в команде;
  • уверенное знание английского языка;
  • самостоятельность, инициативность, ответственность.

Условия

  • оплачиваемый испытательный срок 3 месяца, подразумевается удаленная работа;
  • молодой, дружный коллектив;
  • работа в офисе, плавающий график из расчета 40 часов в неделю;
  • возможность совмещения работы и учебы;
  • ежегодный оплачиваемый отпуск;
  • уровень заработной платы определяется по результатам собеседования

К резюме необходимо приложить: юзернейм на github, текст магистерской/выпускной работы (при наличии), список публикаций (при наличии), копии основных публикаций (при наличии).

Хотите работать в Университете ИТМО, но не нашли подходящую вакансию?