Лаборатория продвинутой комбинаторики и сетевых приложений и кафедра дискретной математики ФПМИ приглашают молодые таланты в аспирантуру. Количество мест ограничено. Ведется конкурсный отбор на грантовые места.
Разработка – 2 года. Готовность к защите – 3 года. Гарантируется трудоустройство по специальности.
Направления исследований и требования к конкурсантам
1. Разработка среды проектирования и встроенного ПО PCI-контроллера для средств доверенной загрузки компьютеров с архитектурой x86.
- Среда разработки – С, микроконтроллеры с системой команд ARM, контроллер на базе FPGA Lettice и SAM4.
- Знакомство с конечными автоматами.
- Умение программировать аппаратуру.
2. Анализ уязвимостей и сравнительная оценка стойкости метода интерактивной рефлекторной биометрической идентификации.
- Теория информации, меры информации, разложения в ряды, построение формальных, имитационных, вероятностных моделей.
3. Контроль загрузки в крупномасштабных компьютерных системах обработки защищаемой информации.
- Выбор средств и среды программирования, создание формальной модели, функциональное и имитационное моделирование.
- Безопасная разработка программных средств контроля загрузки.
- Разработка графического интерфейса.
4. Развитие встроенного ПО транспортного уровея средств доверенной загрузки типа платы расширения.
- Среда разработки – C, NIOS
- Знание протокола PCI, в том числе на этапе BIOS
5. Методы и инструменты разработки семантических бизнес-процессов, а также генерации smart-контрактов на их основе.
6. Методы и инструменты генерации формализованных описаний связанных данных с использованием семантических моделей, а также верификации полноты и непротиворечивости семантических моделей на их основе.
7. Методы, алгоритмы и инструменты обеспечения консистентности семантических моделей данных на основе автоматизированного анализа естественно-языковых текстов.
Необходимые знания и навыки для специальностей 5 – 7:
- Знание Java (J2SE, J2EE);
- Знание платформы Eclipse;
- Знание javascript и React;
- Знание технологии REST;
- Умение работать с чужим кодом;
- Умение создавать автоматизированные тесты;
- Умение создавать серверные и клиентские приложения;
- Базовые знание JDBC, XML, XPath, XML Schema, HTML, CSS;
- Опыт работы с реляционными БД;
- Знание ANSI SQL или Postgres SQL;
- технический английский язык;
- [приветствуется] Опыт работы с NoSQL БД;
- [приветствуется] Знание SPARQL;
- [приветствуется] Опыт работы с платформой LifeRay;
- [приветствуется] Опыт использование инструментов командной разработки IBM Jazz;
- [приветствуется] Моделирование бизнес-процессов: BPMN, UML.
Контакты
Заинтересованным писать на почту mraigor@yandex.ru — Райгородский Андрей Михайлович, директор ФПМИ
Поделиться
Твитнуть
Поделиться