Стартовал приём заявок на конкурс «УМНИК-Фотоника-2024»

Фонд содействия инновациям объявил о старте отбора проектов по конкурсу «УМНИК-Фотоника-2024» в рамках программы «Участник молодежного научно-инновационного конкурса».

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

Объявлен приём заявок на совместный конкурс РНФ и Департамента науки и технологий Министерства науки и технологий Республики Индия (DST)

Российский научный фонд и Министерство науки и технологий Республики Индия (DST) открывают приём заявок на пятый совместный конкурс для международных научных коллективов.

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

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

14 августа 2024 г. (четверг), 14:00 (10:00 МСК), google-meet

Тема:
LTL-спецификации специального вида для разработки и верификации управляющих программ

Докладчик:
Нейзов Максим Вячеславович (ИАиЭ СО РАН)

Аннотация:

Язык линейной темпоральной логики LTL широко применяется для спецификации свойств реагирующих систем. Однако данный формализм может применяться и для спецификации поведения таких систем. По сравнению со специализированными языками моделирования и спецификации поведения, использование языка LTL имеет некоторые преимущества: (1) отсутствует привязка к конкретному инструментальному средству, (2) LTL-спецификация является математическим объектом, что позволяет применять соответствующий математический аппарат при синтезе и анализе поведения реагирующих систем. В докладе будут представлены три LTL-спецификации специального вида: (1) декларативная — для описания поведения управляющих программ, (2) императивная — для построения императивного кода программ, (3) ограниченно недетерминированного поведения — для описания окружения управляющих программ. Использование предлагаемых LTL-спецификаций позволяет выполнять разработку и верификацию управляющих программ для замкнутых систем (систем с обратной связью).

Для демонстрации подхода используется пример установки для литья пластмасс.

Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj

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

Диагностика рака простаты по выдоху

Учёные Института автоматики и электрометрии СО РАН разрабатывают методы диагностики рака простаты на основе выдыхаемого пациентами воздуха. В будущем такой подход возможно применить и для других видов онкологических заболеваний.

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

Приглашение к участию в конкурсе ВОИР «Изобретатель года»

Новосибирская областная общественная организация Всероссийского общества изобретателей и рационализаторов с 1 июля по 20 сентября проводит региональный отбор кандидатов для участия во II Всероссийском конкурсе «Изобретатель года», который является частью проекта «II Фестиваля ВОИР: Наука и изобретение для жизни», поддержанного грантом Минобрнауки.

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

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

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

- 1 вакантной должности заведующего лабораторией, отрасль науки - «Физика и астрономия»;

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

дата начала приёма заявок – 08 августа 2024г.
дата окончания приёма заявок – 07 октября 2024г.

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

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

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

Преакселератор А:СТАРТ – подготовительные вебинары

В рамках подготовки к осеннему стартап-акселератору Академпарк проведёт серию бесплатных вебинаров для учёных, разработчиков и предпринимателей – преакселератор А:СТАРТ.

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

Конкурсы РНФ

РНФ объявил два конкурса:

1) Конкурс на получение грантов по выполнению ориентированных научных исследований по направлению «Микроэлектроника»

Приём заявок до 25 сентября 2024 года

2) Конкурс по отбору технологических предложений для проведения конкурсов научных и научно-технических проектов

Приём заявок до 11 октября 2024 года

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

Новое поколение лазеров. Учёные НГУ и СО РАН разрабатывают лазеры на основе оптоволоконной технологии

Научные сотрудники Отдела лазерной физики и инновационных технологий Новосибирского государственного университета (ОЛФиИТ НГУ) и Института автоматики и электрометрии СО РАН разработали новый метод стабилизации шумоподобных импульсов в волоконных лазерах на основе аналогии с каплей солитонной жидкости.

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

Начался приём заявок на осенний стартап-акселератор Академпарка

Академпарк приглашает научных сотрудников к участию в программе по развитию предпринимательских компетенций. Обучение пройдет с 20 сентября по 24 октября, Заявки принимаются до 1 сентября

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