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

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

25 600 руб.

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

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

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

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

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

ИСП РАН

Место работы

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

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

Обязанности

Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в области методов формальной верификации в применении к крупным программным системам (автоматизация извлечения знаний о поведении окружения целевых компонентов крупных программных систем для их формальной верификации при помощи машинного обучения, мониторинга и/или статического анализа исходного кода; автоматизация определения шаблонов использования внешних интерфейсов для верификации компонентов крупных программных систем при помощи машинного обучения, мониторинга и/или статического анализа исходного кода; разработка языка предметной области для моделирования поведения окружения компонентов крупных программных систем. Оптимизация алгоритмов планирования системы масштабируемой автоматической верификации (в том числе методами машинного обучения).

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

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

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

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

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

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

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

Высшее

Загрузка...