Разработчик формальных методов применяет математические методы для проектирования, разработки и верификации программных и аппаратных систем. Они создают модели для точного представления желаемых свойств системы, используют логику для предсказания ее поведения и применяют строгие доказательства для обеспечения ее корректности. Основное внимание они уделяют устранению ошибок в системах, где отказ недопустим, например, в аэрокосмических или ядерных энергетических системах. Их работа предполагает тесное сотрудничество с разработчиками программного обеспечения и системными инженерами для обеспечения надежности, безопасности и защищенности систем. Они также пишут технические отчеты и документы, в которых подробно излагают свои выводы, методики и рекомендации.