Systems Planning And Analysis - Arlington, VA
posted 28 days ago
The Formal Methods Engineer - Scientist - Mathematician/DevSecOps Technical SETA position at Systems Planning and Analysis, Inc. (SPA) involves providing expert support for high assurance software and systems research and development, particularly for mission-critical solutions. The role emphasizes the integration of modern DevSecOps processes with traditional mathematical modeling techniques to enhance the specification, development, and verification of secure systems. The position offers opportunities to contribute significantly to various technical areas, focusing on innovative technologies and methodologies for program development.