Вам подойдет специальность 05.13.11 - Математическое и программное
обеспечение вычислительных машин, комплексов и компьютерных сетей
Она включает в области исследования (см. паспорт специальности):
8. Создание и исследование новых технологий проектирования,
анализа, оценки качества, стандартизации и сопровождения
программных систем.
Ближайший к вам подходящий диссертационный совет Д212.238.01
при Санкт-Петербургском государственном электротехническом
университете (ЛЭТИ). Там же есть и нужная вам аспирантура.
http://www.eltech.ru/education/aspir.ht