ИТ-семинар о запуске магистрантской программы “Интернет вещей (IoT)” на ФИТ НГУ

А. Шафаренко выступит с докладом о запуске магистрантской программы “Интернет вещей (IoT)” на ФИТ НГУ. Программа предложена инициативной группой ФИТ, ответственной за проектирование магистерской ступени для бакалаврской программы “Компьютерные науки и системотехника” под руководством декана ФИТ д.ф.-м.н. проф. М.М. Лаврентьева. Семинар проводится в дистанционном формате.

Подробнее...

Начался приём конкурсных работ на соискание премий Правительства РФ 2022 года в области науки и техники для исследователей и молодых учёных

Стартовал прием заявок на конкурсы работ, представляемых на соискание премий Правительства Российской Федерации 2022 года в области науки и техники для исследователей и молодых ученых.

Подробнее...

Конкурс на замещение вакантных должностей

Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии СО РАН объявляет конкурс на замещение:

- двух вакантных должностей научного сотрудника (postdoc), отрасль науки – «физика и астрономия».

Дата начала приёма заявок – 25.11.2021.

Дата окончания приёма заявок – 15.12.2021.

Документы направлять по адресу: 630090, г. Новосибирск, проспект Акад. Коптюга, 1, комната 201. Справки по телефону: (383) 333-28-33.

Положение о конкурсе и перечень необходимых документов размещены на сайте Института: http://www.iae.nsk.su в разделе «Конкурсы».

Объявление о конкурсе размещено на портале вакансий: ученые-исследователи.рф.

Конкурс на замещение вакантных должностей

Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии СО РАН объявляет конкурс на замещение:

- двух вакантных должностей научного сотрудника (postdoc), отрасль науки – «физика и астрономия».

Дата начала приёма заявок – 17.11.2021.

Дата окончания приёма заявок – 16.01.2022.

Документы направлять по адресу: 630090, г. Новосибирск, проспект Акад. Коптюга, 1, комната 201. Справки по телефону: (383) 333-28-33.

Положение о конкурсе и перечень необходимых документов размещены на сайте Института: http://www.iae.nsk.su в разделе «Конкурсы».

Объявление о конкурсе размещено на портале вакансий: ученые-исследователи.рф.

«Микрорешётки» на голограммах улучшат качество изготовления линз больших телескопов

С помощью компьютерно-синтезированных голограмм — микроизображений на кварцевых пластинках — учёные проверяют качество изготовления зеркал больших телескопов и космической оптики. Для этого сами голограммы должны быть очень точными. Российские исследователи из Института автоматики и электрометрии СО РАН предложили способ контроля их качества с помощью особых «меток», которые записываются в поле голограммы по мере её создания. Предложенный метод позволяет существенно увеличить точность записи компьютерно-синтезированных голограмм, а в перспективе поможет автоматизировать этот процесс. Результаты исследования, поддержанного грантом Российского научного фонда (РНФ), опубликованы в журнале Sensors.

Подробнее...

Конкурс на замещение вакантной должности

Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии СО РАН объявляет конкурс на замещение:

- вакантной должности научного сотрудника, отрасль науки – «физика и астрономия».

Дата начала приёма заявок – 16.11.2021.

Дата окончания приёма заявок – 15.01.2022.

Документы направлять по адресу: 630090, г. Новосибирск, проспект Акад. Коптюга, 1, комната 201. Справки по телефону: (383) 333-28-33.

Положение о конкурсе и перечень необходимых документов размещены на сайте Института: http://www.iae.nsk.su в разделе «Конкурсы».

Объявление о конкурсе размещено на портале вакансий: ученые-исследователи.рф.

В Новосибирском метро курсирует поезд-выставка о науке

Узнать о достижениях сибирской науки теперь можно по пути на работу: один из поездов метро Новосибирска преобразился к Фестивалю «Наука 0+». ИАиЭ СО РАН принимает участие в мероприятиях Фестиваля.

Подробнее...

Лекции Предакселератора НТИ

Обучающая программа Предакселератор НТИ предлагает прослушать лекции от специалистов разных направлений, связанных с развитием трансфера технологий, развитием промышленности в РФ с помощью экосистемы Национальной Технологической Инициативы

Подробнее...

Семинар «Инжиниринг современных информационных систем»

17 ноября 2021 г. (среда), 15:00 (11:00 МСК)

Тема:
Framework for closed-loop formal verification of distributed automation software with plant model generator from event logs

Докладчик:
Midhun Xavier (Luleå University of Technology, Sweden)

Аннотация: This seminar introduces a concept of an automatic generation of a formal model of plant from the event logs. The formal model implementation and its verification are done with the help of a comprehensive toolchain that can combine design, simulation, formal verification, and distributed deployment of automation software. The talk discusses conceptual, methodological, and instrumental components of the toolchain.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара 

Семинар «Инжиниринг современных информационных систем»

11 ноября 2021 г. (четверг), 14:00 (10:00 МСК)

Тема:
Автоматно-функциональная парадигма программирования реактивных систем

Докладчик:
Максим Нейзов

Аннотация: Доклад посвящен вопросу объединения функционального и автоматного подходов к программированию реактивных систем широкого класса. Обсуждается вопрос применимости подхода и его достоинства, позволяющие упростить разработку и формальную верификацию, повысить понимаемость программ, минимизировать число ошибок. Практическое использование концепции автоматно-функционального подхода демонстрируется на поясняющих примерах.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара