Блог лаборатории

1/19/2011

Categories: none

В корпорации открыты позиции Q&A Lead и Senior Software Engineer для профессионалов в областях тестирования и разработки программного обеспечения.

Брошюры по соответствующим позициям:

Job Description for Senior Software Engineer (docx, pdf)
Job Description for Q&A (docx, pdf)

Posted at 1:38:00 PM by MSLAB\Eugene | Comments (0)

1/12/2011

Семинар «Технологии разработки и анализа программ»

Categories: none

Очередное заседание семинара состоится 20 января 2011 года, в аудитории П-14 2-го учебного корпуса МГУ, начало в 18:00.

Тема доклада: Статическая верификация драйверов устройств ОС Linux. Проект LDV

Докладчики:
Хорошилов Алексей Владимирович (к.ф.-м.н., старший научный сотрудник ИСП РАН)
Научные интересы: верификация и тестирование программ, операционные системы реального времени, интегрированная модульная авионика, технологии разработки программного обеспечения, ОС Linux.

Мутилин Вадим Сергеевич (младший научный сотрудник ИСП РАН)
Научные интересы: верификация и тестирование программ, в частности, статический анализ драйверов Linux, динамический анализ многопоточных Java программ.

Posted at 5:01:00 PM by Konstantin G. Kalugin | Comments (0)