DevSecOps Technical SETA

Overview

Systems Planning and Analysis, Inc. (SPA) delivers high‑impact, technical solutions to complex national security issues. With over 50 years of business expertise and consistent growth, we are known for continuous innovation for our government customers, in both the US and abroad. Our exceptionally talented team is highly collaborative in spirit and practice, producing Results that Matter. Come work with the best!

We offer opportunity, unique challenges, and clear‑sighted commitment to the mission. SPA:
Objective. Responsive. Trusted.

The Joint, Office of the Secretary of Defense, Interagency Division provides expert support services to a range of customers spanning across the Department of Defense, Federal Civilian, and international markets. JOID provides a diverse portfolio of analytical and programmatic capabilities to help our customers make informed decisions on their most challenging issues.

The Acquisition and Technology Analysis Group within JOID specializes in the application of multi‑disciplinary analytic skills to support multiple clients within the Department of Defense (DoD). These clients include the Office of the Under Secretary of Defense for Research and Engineering (OUSD(R&E)), Office of the Under Secretary of Defense for Acquisition and Sustainment (OUSD(A&S)), DARPA, the Joint Staff, and USINDOPACOM. SPA provides critical decision support to enabling and executing a strategy of technological superiority and enabling the delivery and sustainment of secure, resilient, and preeminent capabilities to the warfighter quickly and cost effectively.

Our team of experienced military, technical, and operations research analysts is skilled in evaluating military problems, identifying the driving factors, devising innovative approaches, collecting applicable data, developing necessary software tools, and performing thorough and timely assessments to inform technology and acquisition governance decisions to ensure U.S. military forces retain military superiority in the future.

We have an immediate need for a Formal Methods Engineer - Scientist - Mathematician/Dev Sec Ops  Technical SETA to provide onsite support out of Arlington, VA.

The Technical SETA (Engineer/Scientist/Mathematician) will support DARPA I2O with high assurance, high confidence, or zero‑defect software and systems research and development for true mission‑critical solutions. The candidate will connect modern Dev Sec Ops  development processes and traditional mathematical modeling oriented "Formal Methods," applied to the specification, development, and verification of hardened cloud and cyber physical systems. Duties will include supporting management of cutting‑edge research efforts related to Dev Sec Ops  or Formal Methods approaches.

This includes technology management of programs related to embedded systems, complex high assurance systems, and cybersecurity. This position provides the opportunity to make significant contributions across a range of technical areas by identifying, analyzing, and developing novel technologies and methodologies for current and new program development.

Required:

• Minimum 5 years of experience in development of high confidence software, complex high assurance systems, and/or high assurance software
• Specification, development, and verification of software/hardware systems, via either modern "Dev Sec Ops " or more 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
• Travel may be required up to 10% of the time
• Able to work fully onsite based on client needs

Desired:

• 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