От 33 640 до 33 640 руб.
руб.
full
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство группой работников при исследовании самостоятельных тем в области разработки программного обеспечения на языке Java. Организует сбор и изучение научно-технической информации, проводит анализ и теоретическое обобщение научных данных, результатов экспериментов и наблюдений. Проверяет правильность результатов, полученных сотрудниками, работающими под его руководством. Принимает участие в повышении квалификации кадров. Внедряет результаты проведенных исследований и разработок.</p>
От 29 540 до 29 540 руб.
руб.
parttime
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в области исследований и разработки методов фаззинга программ (исследование методов повышения эффективности фаззинг-тестирования. Участвует в выполнении экспериментов, проводит наблюдения и измерения, составляет их описание и формулирует выводы. Изучает научно-техническую информацию отечественный и зарубежный опыт по исследуемой тематике. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 29 540 до 29 540 руб.
руб.
parttime
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в области разработки инструментов анализа бинарного кода на базе виртуальных машин; динамическая двоичная трансляция: оптимизация производительности, расширение набора поддерживаемых архитектур; аппаратная виртуализация: применение аппаратной виртуализации для анализа бинарного кода; специализированные программные инструменты для разработки виртуальных машин; совмещение программной эмуляции с выделенными для виртуальной машины физическими устройствами; анализ аппаратных платформ; исследование методов статического и динамического анализа кода для выявления слабых мест в программном обеспечении. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Разрабатывает техническую документацию программного обеспечения в соответствии с ЕСПД. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 33 640 до 33 640 руб.
руб.
parttime
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство группой работников при исследовании самостоятельных тем в области разработки методики автоматизированного создания тестовых данных сложной структуры; построения систем автоматического тестирования оптимизирующих компиляторов; разработки методики автоматического тестирования парсеров; разработки методов построения расписаний для операционных систем реального времени для современных архитектур; разработки методики автоматического конфигурирования блока управления памяти операционной системы реального времени для современных архитектур; разработка инструментов для внедрения предлагаемых методик. Организует сбор и изучение научно-технической информации, проводит анализ и теоретическое обобщение научных данных, результатов экспериментов и наблюдений. Проверяет правильность результатов, полученных сотрудниками, работающими под его руководством. Принимает участие в повышении квалификации кадров. Внедряет результаты проведенных исследований и разработок.</p>
От 38 890 до 38 890 руб.
руб.
full
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство проведением исследований по отдельным проблемам науки и техники и возглавляет группу занятых ими работников или является ответственным исполнителем отдельных заданий научно-технических программ. Направления работ в области теории конечных автоматов и реактивных систем формальных методов разработки и верификации программных систем и в области теории конфортности. Разрабатывает научно-технические решения по наиболее сложным проблемам, методы проведения исследований и разработок, выбирает необходимые для этого средства. Обосновывает направления новых исследований и разработок и методы их выполнения, вносит предложения для включения в планы научно-исследовательских работ. Организует составление программы работ, координирует деятельность соисполнителей при совместном их выполнении с другими учреждениями (организациями), обобщает полученные результаты. Определяет сферу применения результатов научных исследований и разработок и организует практическую реализацию этих результатов. Осуществляет подготовку научных кадров и участвует в повышении их квалификации.</p>
От 38 890 до 38 890 руб.
руб.
parttime
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство проведением исследований по отдельным проблемам науки и техники и возглавляет группу занятых ими работников или является ответственным исполнителем отдельных заданий научно-технических программ. Направления работ в области теории конечных автоматов и реактивных систем формальных методов разработки и верификации программных систем и в области теории конфортности. Разрабатывает научно-технические решения по наиболее сложным проблемам, методы проведения исследований и разработок, выбирает необходимые для этого средства. Обосновывает направления новых исследований и разработок и методы их выполнения, вносит предложения для включения в планы научно-исследовательских работ. Организует составление программы работ, координирует деятельность соисполнителей при совместном их выполнении с другими учреждениями (организациями), обобщает полученные результаты. Определяет сферу применения результатов научных исследований и разработок и организует практическую реализацию этих результатов. Осуществляет подготовку научных кадров и участвует в повышении их квалификации.</p>
От 29 540 до 29 540 руб.
руб.
parttime
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в областях: теоретического анализа вопросов защиты конфиденциальности, разработки новых подходов защиты пересылаемой информации на основе подходов дифференциальной приватности и шифрования; теоретического анализа эффективных с точки зрения коммуникационных и вычислительных затрат алгоритмов распределенного и федеративного обучения, разработки новых техник сжатия пересылаемой информации, адаптированных под нужды распределенного обучения; разработка методов асинхронного общения вычислительных устройств; экспериментального тестирования новых алгоритмов и подходов на популярных открытых задачах распределенного и федеративного обучения; апробации результатов на приближенных к реальным прикладных системах распределенного и федеративного обучения. В качестве ответственного исполнителя осуществляет сложные эксперименты и наблюдения. Собирает, обрабатывает, анализирует и обобщает научно-техническую информацию, передовой отечественный и зарубежный опыт, результаты экспериментов и наблюдений. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 29 540 до 29 540 руб.
руб.
parttime
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в области разработки инструментов анализа бинарного кода на базе виртуальных машин; динамическая двоичная трансляция: оптимизация производительности, расширение набора поддерживаемых архитектур; аппаратная виртуализация: применение аппаратной виртуализации для анализа бинарного кода; специализированные программные инструменты для разработки виртуальных машин; совмещение программной эмуляции с выделенными для виртуальной машины физическими устройствами; анализ аппаратных платформ; исследование методов статического и динамического анализа кода для выявления слабых мест в программном обеспечении. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Разрабатывает техническую документацию программного обеспечения в соответствии с ЕСПД. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 29 540 до 29 540 руб.
руб.
full
Более недели назад, Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в следующих областях: исследование устройства открытых фреймворков машинного обучения, анализ их исходного кода и создание доверенных фреймворков машинного обучения; исследование и разработка программных инструментов для анализа, обнаружения и противодействия угрозам, специфичным для технологий искусственного интеллекта; создание методик и тестовой базы («бенчмарков») для исследования систем, использующих ТИИ, на соответствие критериям доверенности, и их апробация на прикладных системах. Собирает, обрабатывает, анализирует и обобщает научно-техническую информацию, передовой отечественный и зарубежный опыт, результаты экспериментов и наблюдений. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 33 640 до 33 640 руб.
Полная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство группой работников при исследовании самостоятельных тем в области разработки программного обеспечения на языке Java. Организует сбор и изучение научно-технической информации, проводит анализ и теоретическое обобщение научных данных, результатов экспериментов и наблюдений. Проверяет правильность результатов, полученных сотрудниками, работающими под его руководством. Принимает участие в повышении квалификации кадров. Внедряет результаты проведенных исследований и разработок.</p>
От 29 540 до 29 540 руб.
Частичная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в области исследований и разработки методов фаззинга программ (исследование методов повышения эффективности фаззинг-тестирования. Участвует в выполнении экспериментов, проводит наблюдения и измерения, составляет их описание и формулирует выводы. Изучает научно-техническую информацию отечественный и зарубежный опыт по исследуемой тематике. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 29 540 до 29 540 руб.
Частичная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в области разработки инструментов анализа бинарного кода на базе виртуальных машин; динамическая двоичная трансляция: оптимизация производительности, расширение набора поддерживаемых архитектур; аппаратная виртуализация: применение аппаратной виртуализации для анализа бинарного кода; специализированные программные инструменты для разработки виртуальных машин; совмещение программной эмуляции с выделенными для виртуальной машины физическими устройствами; анализ аппаратных платформ; исследование методов статического и динамического анализа кода для выявления слабых мест в программном обеспечении. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Разрабатывает техническую документацию программного обеспечения в соответствии с ЕСПД. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 33 640 до 33 640 руб.
Частичная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство группой работников при исследовании самостоятельных тем в области разработки методики автоматизированного создания тестовых данных сложной структуры; построения систем автоматического тестирования оптимизирующих компиляторов; разработки методики автоматического тестирования парсеров; разработки методов построения расписаний для операционных систем реального времени для современных архитектур; разработки методики автоматического конфигурирования блока управления памяти операционной системы реального времени для современных архитектур; разработка инструментов для внедрения предлагаемых методик. Организует сбор и изучение научно-технической информации, проводит анализ и теоретическое обобщение научных данных, результатов экспериментов и наблюдений. Проверяет правильность результатов, полученных сотрудниками, работающими под его руководством. Принимает участие в повышении квалификации кадров. Внедряет результаты проведенных исследований и разработок.</p>
От 38 890 до 38 890 руб.
Полная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство проведением исследований по отдельным проблемам науки и техники и возглавляет группу занятых ими работников или является ответственным исполнителем отдельных заданий научно-технических программ. Направления работ в области теории конечных автоматов и реактивных систем формальных методов разработки и верификации программных систем и в области теории конфортности. Разрабатывает научно-технические решения по наиболее сложным проблемам, методы проведения исследований и разработок, выбирает необходимые для этого средства. Обосновывает направления новых исследований и разработок и методы их выполнения, вносит предложения для включения в планы научно-исследовательских работ. Организует составление программы работ, координирует деятельность соисполнителей при совместном их выполнении с другими учреждениями (организациями), обобщает полученные результаты. Определяет сферу применения результатов научных исследований и разработок и организует практическую реализацию этих результатов. Осуществляет подготовку научных кадров и участвует в повышении их квалификации.</p>
От 38 890 до 38 890 руб.
Частичная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Осуществляет научное руководство проведением исследований по отдельным проблемам науки и техники и возглавляет группу занятых ими работников или является ответственным исполнителем отдельных заданий научно-технических программ. Направления работ в области теории конечных автоматов и реактивных систем формальных методов разработки и верификации программных систем и в области теории конфортности. Разрабатывает научно-технические решения по наиболее сложным проблемам, методы проведения исследований и разработок, выбирает необходимые для этого средства. Обосновывает направления новых исследований и разработок и методы их выполнения, вносит предложения для включения в планы научно-исследовательских работ. Организует составление программы работ, координирует деятельность соисполнителей при совместном их выполнении с другими учреждениями (организациями), обобщает полученные результаты. Определяет сферу применения результатов научных исследований и разработок и организует практическую реализацию этих результатов. Осуществляет подготовку научных кадров и участвует в повышении их квалификации.</p>
От 29 540 до 29 540 руб.
Частичная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в областях: теоретического анализа вопросов защиты конфиденциальности, разработки новых подходов защиты пересылаемой информации на основе подходов дифференциальной приватности и шифрования; теоретического анализа эффективных с точки зрения коммуникационных и вычислительных затрат алгоритмов распределенного и федеративного обучения, разработки новых техник сжатия пересылаемой информации, адаптированных под нужды распределенного обучения; разработка методов асинхронного общения вычислительных устройств; экспериментального тестирования новых алгоритмов и подходов на популярных открытых задачах распределенного и федеративного обучения; апробации результатов на приближенных к реальным прикладных системах распределенного и федеративного обучения. В качестве ответственного исполнителя осуществляет сложные эксперименты и наблюдения. Собирает, обрабатывает, анализирует и обобщает научно-техническую информацию, передовой отечественный и зарубежный опыт, результаты экспериментов и наблюдений. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 29 540 до 29 540 руб.
Частичная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в области разработки инструментов анализа бинарного кода на базе виртуальных машин; динамическая двоичная трансляция: оптимизация производительности, расширение набора поддерживаемых архитектур; аппаратная виртуализация: применение аппаратной виртуализации для анализа бинарного кода; специализированные программные инструменты для разработки виртуальных машин; совмещение программной эмуляции с выделенными для виртуальной машины физическими устройствами; анализ аппаратных платформ; исследование методов статического и динамического анализа кода для выявления слабых мест в программном обеспечении. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Разрабатывает техническую документацию программного обеспечения в соответствии с ЕСПД. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>
От 29 540 до 29 540 руб.
Полная занятость
Москва
Обязанности: <p class="ra-info-block-title">Обязанности:</p><p>Проводит научные исследования и разработки по отдельным разделам (этапам, заданиям) темы в следующих областях: исследование устройства открытых фреймворков машинного обучения, анализ их исходного кода и создание доверенных фреймворков машинного обучения; исследование и разработка программных инструментов для анализа, обнаружения и противодействия угрозам, специфичным для технологий искусственного интеллекта; создание методик и тестовой базы («бенчмарков») для исследования систем, использующих ТИИ, на соответствие критериям доверенности, и их апробация на прикладных системах. Собирает, обрабатывает, анализирует и обобщает научно-техническую информацию, передовой отечественный и зарубежный опыт, результаты экспериментов и наблюдений. Участвует в составлении планов и методических программ исследований и разработок, практических рекомендаций по использованию их результатов. Составляет отчеты (разделы отчета) по теме или ее разделу (этапу, заданию). Участвует во внедрении результатов исследований и разработок.</p>