DevSecOps Technical SETA

Cdd Spa - Arlington, VA

Full-time - Mid Level

Arlington, VA

11-50 employees

Food Services and Drinking Places

About the position

The DevSecOps Technical SETA position at Systems Planning and Analysis, Inc. (SPA) involves providing high assurance software and systems research and development support for mission-critical solutions. The role focuses on integrating modern DevSecOps processes with traditional formal methods to enhance the specification, development, and verification of secure systems, particularly in the context of the Department of Defense (DoD).

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.
• 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.