- Разработка программ на основе анализа математических моделей и алгоритмов; - корректировка разработанных программ на основе анализа выходных данных; - разработка и внедрение систем автоматической проверки правильности программ; - сопровождение внедренных программ и программных средств.