В лабораторию Дискретной оптимизации и формальных методов, входящую в международный научный центр компьютерных технологий Университета ИТМО, требуется Java-разработчик.
Мы ищем основного разработчика для совместного R&D проекта с крупной IT-компанией. Проект связан с тестированием программного обеспечения, методами синтеза конечных автоматов и методами проверки моделей (model checking). После окончания проекта предполагается продолжение работы в других научно-исследовательских проектах лаборатории.
Обязанности
- участие в разработке и программная реализация методов и алгоритмов на основе имеющейся кодовой базы;
- написание тестов и поддержка системы сборки;
- написание документации на программное обеспечение на английском языке;
- участие в совещаниях по проекту, отчетных мероприятиях с партнером.
Требования
- минимальный уровень образования – наличие диплома по направлениям: прикладная математика и информатика, компьютерные науки;
- отличное знание языка Java, методов и паттернов проектирования и разработки;
- уверенное владение Git, Gradle, Docker;
- владение Unix-подобными системами, bash;
- опыт промышленной разработки будет плюсом;
- отличное знание дискретной математики будет плюсом;
- опыт научной работы в указанных областях будет плюсом;
- хорошие коммуникационные навыки, умение работать в команде;
- уверенное знание английского языка;
- самостоятельность, инициативность, ответственность.
Условия
- оплачиваемый испытательный срок 3 месяца, подразумевается удаленная работа;
- молодой, дружный коллектив;
- работа в офисе, плавающий график из расчета 40 часов в неделю;
- возможность совмещения работы и учебы;
- ежегодный оплачиваемый отпуск;
- уровень заработной платы определяется по результатам собеседования
К резюме необходимо приложить: юзернейм на github, текст магистерской/выпускной работы (при наличии), список публикаций (при наличии), копии основных публикаций (при наличии).