Для обеспечения удобства работы с сервисами данного сайта и поддержания высокого уровня их безопасности мы используем файлы cookie. Подробное описание используемых нами файлов cookie, порядке их отключения содержится в Политике конфиденциальности . Нажимая на кнопку «СОГЛАСЕН», Вы подтверждаете, что проинформированы об использовании cookies на нашем сайте, а также принимаете наши Политику конфиденциальности и Правила пользования сайтом.
ГлавнаяОбразованиеОбразовательные программы и мероприятияАрхивФормальные методы дизайна и верификации программного обеспечения
Образовательные программы и мероприятия

1-9
нояб.
Формальные методы дизайна и верификации программного обеспечения
Прием заявок для участия в конкурсном отборе открыт до 17 октября 2021 года
По вопросам участия в программе просим обращаться по адресу cdpo@talantiuspeh.ru
Научный центр:
Информационные технологии и искусственный интеллект
Сроки проведения:
1 нояб. - 9 нояб.
Участники и порядок отбора:
На обучение по дополнительной профессиональной программе приглашаются студенты бакалавриата, специалитета, магистратуры и аспирантуры, обучающиеся по физико-математическим специальностям, специальностям в области информационных технологий и инженерным специальностям.
Для освоения содержания дополнительной профессиональной программы слушатели должны владеть следующими знаниями и компетенциями:
- базовые знания в области математики и компьютерных наук на уровне первых двух курсов профильного бакалавриата;
- желательно знание и наличие опыта функционального программирования на языке Haskell или OCaml.
Форма организации отбора слушателей
Индивидуальный отбор.
Задания для проведения отбора слушателей:
Специальные задания для проведения отбора слушателей не предусмотрены. Отбор происходит на основании конкурса заявок, представленных кандидатами. Заявки должны включать:
- резюме кандидата;
- мотивационное письмо.
Критерии отбора слушателей:
- соответствие образовательного бэкграунда и/или опыта работы кандидатов целям, задачам и уровню дополнительной профессиональной программы, на основании представленных резюме и академических справок. Преимущество получают кандидаты с более высоким средним баллом по профильным дисциплинам (компьютерных и физико-математических специальностей) и (при наличии) большим стажем работы по профильным специальностям. Данный критерий оценивается как максимум в 60 баллов из 100;
- мотивация кандидатов на изучение дополнительной профессиональной программы, на основании представленных мотивационных писем. Преимущества получают кандидаты, которые продемонстрировали понимание целей и задач методов формального дизайна и верификации, в том числе в развитии собственной карьеры в области информационных технологий, а также знания о программе и об Университете «Сириус». Данный критерий оценивается как максимум в 40 баллов из 100.
Заявки оцениваются по 100-балльной системе (процентной шкале) на основании критериев каждым из членов приемной комиссии, после чего приемная комиссией выставляется согласованная оценка каждой заявки.
О программе:
Формальные методы дизайна и верификации программного обеспечения (ПО) представляют собой выдающееся достижение современных компьютерных наук. За последние 30 лет эти методы получили широкое развитие в мире и нашли свое применение в тех областях разработки программного обеспечения, в которых традиционные методы обеспечения качества ПО (например, различные виды тестирования) не являются достаточными в силу особо высоких требований к надежности ПО. К этим областям относятся, например, системы реального времени и распределенные системы, применяемые в управлении ядерными объектами, высокоскоростным железнодорожным транспортом, летательными и космическими аппаратами, а в последнее время -- также некоторые финансово-банковские системы и системы распределенного реестра.
В процессе развития формальных методов было создано значительное многообразие парадигм, формальных логик, систем компьютерной логики и приложений формальных методов. Некоторые этих методов имеет сугубо теоретическое значение, другие же методы имеют зрелую индустриальную реализацию и могут применяться для решения разнообразных практических задач. Данная программа, в первую очередь, поможет слушателем разобраться в многообразии современных формальных методов, уяснить взаимосвязи между ними и научиться правильно идентифицировать и использовать формальные методы при решении практических задач.
Во-вторых, необходимо отметить, что уровень применения формальных методов в Российской Федерации является пока не достаточным, даже в тех областях разработки высоконадежного ПО, где такие методы уже давно стали де-факто индустриальным стандартом в других странах (главным образом во Франции). Поэтому данная программа направлена на повышение общего уровня компетенций российских IT-специалистов в области формальных методов и внедрение формальных методов в процесс и общую культуру разработки высоконадежного ПО в Российской Федерации.
Программа предназначена для студентов старших курсов бакалавриата и специалитета, студентов магистратуры и аспирантов в области информационных технологий и математических направлений, а также для специалистов IT-индустрии, занимающихся разработкой высоконадежного ПО.
Руководитель программы:

Леонид Альбертович Меркин
Профессор, PhD по специальности математика Делфтского технического университета (Нидерланды), профессор Научно-технологического университета «Сириус», руководитель направления «Финансовая математика и финансовые технологии»
Условия участия:
Всем, кто прошел конкурсный отбор и был приглашен на программу, необходимо привезти с собой один из следующих документов:
- сертификат о вакцинации (достаточно первого компонента вакцины) или справку о прохождении первого этапа вакцинации (на бумажном носителе);
- медицинский документ или сертификат о перенесенном заболевании из личного кабинета портала Госуслуг, со дня выздоровления не более 6 месяцев до заселения (на бумажном носителе);
- отрицательный результат ПЦР-теста (полученный не ранее, чем за три календарных дня до заселения) и обязательно добровольное согласие на прохождение вакцинации в течение трех дней со дня вселения. Обратиться в прививочный пункт необходимо самостоятельно.
А также справку с места учебы, взятую не ранее, чем за 3 месяца до начала образовательной программы
По приезде в Университет участникам образовательного модуля следует предоставить оригиналы указанных документов во время регистрации участников.
АНО ВО «Университет «Сириус» обеспечивает проживание, проезд / перелет по территории РФ и питание для участников программы.
Плата за обучение на программе не взимается.
К участию в программе допускаются только граждане РФ.