Вакансия не актуальна и перемещена в архив

Ведущий научный сотрудник (в области информатики и вычислительной техники)

30 800 руб.

Вакансия "Ведущий научный сотрудник (в области информатики и вычислительной техники)"
Полная занятость, полный рабочий день

Откликнуться

Опубликовано 11 апреля 2022 года

Обновлено 26 августа 2022 года

Работодатель

ИСП РАН

Место работы

г. Москва
109004, г. Москва, ул. Александра Солженицына, д. 25, Заявку на участие в конкурсе размещать на портале «http://ученые-исследователи. рф» или на сайте ispras. ru, раздел "Об институте"/"Вакансии" (м. н. с. )
г. Москва

Показать на карте

Обязанности

Осуществляет научное руководство проведением исследований по отдельным проблемам науки и техники и возглавляет группу занятых ими работников или является ответственным исполнителем отдельных заданий научно-технических программ. Направления работ в области верификации программ (выявление и построение моделей окружения по трассам динамического выполнения (Runtime leaning of environment models); методы верификации и сбора данных об архитектурных сущностях в системах реального времени (ARINC-совместимых) с помощью предикатного анализа; эвристическая модель памяти на основе регионов для анализа явных значений; методы визуализации доказательств корректности программ; моделирование памяти с разбиением на регионы с использованием теории массивов; абстракция итераций циклов и их итеративное уточнение; обнаружение неопределенного поведения для программ на языке С при помощи символьных графов памяти; приоритизация селекции локальных путей в анализе с запоминанием абстракций.

Премии и бонусы

Социальный пакет
Время работы указано с учетом 30-минутного перерыва на прием пищи и отдых.

Дополнительно

Компьютерные и информационные науки
Знание основ работы с компьютером

Общие требования

Наличие ученой степени кандидата физико-математических наук, наличие научных трудов или авторских свидетельств на изобретения.

Требования к образованию

Высшее

Загрузка...