Formal Methods Research Engineer Responsible for building and advancing a Formal Methods-related research area, contributing to business development, leading small projects, mentoring team members, and performing cutting-edge research in process logic and communications network analysis.