DevSecOps Technical SETA

Systems Planning And Analysis - Arlington, VA

Full-time - Senior

Arlington, VA

Professional, Scientific, and Technical Services

About the position

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.

Responsibilities

• Support DARPA I2O with high assurance, high confidence, or zero-defect software and systems research and development.
• Connect modern DevSecOps development processes with traditional mathematical modeling oriented 'Formal Methods'.
• Manage cutting-edge research efforts related to DevSecOps or Formal Methods approaches.
• Oversee technology management of programs related to embedded systems, complex high assurance systems, and cybersecurity.
• Identify, analyze, and develop novel technologies and methodologies for current and new program development.

Requirements

• Minimum 5 years of experience in development of high confidence software, complex high assurance systems, and/or high assurance software.
• Experience in specification, development, and verification of software/hardware systems via modern 'DevSecOps' or traditional 'formal methods'.
• Bachelor of science degree in mathematics, computer science, information science, and/or other relevant engineering.
• DoD Top Secret clearance with SCI eligibility.

Nice-to-haves

• Hands-on experience working with military and related intelligence community stakeholders and end users in the use and application of related technologies.
• Prior research program support in software development, reverse engineering, vulnerability research, and/or hardware and software-based system engineering.
• Experience with, or ability to quickly learn, application of mathematically rigorous techniques to hardware and software-based research and development efforts.

Benefits

• Opportunity for professional growth and development.
• Engagement in innovative and impactful projects.
• Collaborative work environment with a talented team.