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

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

27 300 руб.

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

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

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

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

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

ИСП РАН

Место работы

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

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

Обязанности

Осуществляет научное руководство группой работников при исследовании самостоятельных тем в области статического анализа исходного кода (анализ программ на различных языках программирования (C, C++, Java, Kotlin, Go); девиртуализация вызовов Java/C++ методов; разработка детекторов ошибок использования неинициализированной памяти; поиск ошибок утечки приватных данных; разработка обобщённого AST-анализатора для разных языков программирования (C/C++/Java/Kotlin/Go); анализ помеченных данных и детекторы на его основе; статическое символьное выполнение и детекторы на его основе; поиск ошибок целочисленного переполнения для программ на языках С, С++, Java, Kotlin, Go. Организует сбор и изучение научно-технической информации, проводит анализ и теоретическое обобщение научных данных, результатов экспериментов и наблюдений. Проверяет правильность результатов, полученных сотрудниками, работающими под его руководством. Принимает участие в повышении квалификации кадров.

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

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

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

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

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

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

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

Высшее

Загрузка...