DevSecOps Technical SETA

Systems Planning and Analysis Inc. (SPA) delivers highimpact technical solutions to complex national security issues. With over 50 years of business expertise and consistent growthwe 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 producingResults that Matter. Come work with the best! We offer opportunity unique challenges and clearsighted 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 multidisciplinary 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 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/DevSecOps 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 zerodefect software and systems research and development for true mission critical solutions. The candidate will connect modern DevSecOps 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 cuttingedge research efforts related to DevSecOps 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 DevSecOps 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:

• Handson 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 softwarebased system engineering
• Experience with or ability to quickly learn application of mathematically rigorous techniques to hardware and softwarebased research and development efforts