Onsite DevSecOps SETA — High-Assurance and Formal Methods

Systems Planning and Analysis, Inc.; Arlington (VA); On-site; USD 125,000 - 200,000; Full time

Benefits offered by this job

Health insurance

Retirement savings plans

Life and disability insurance

Job summary

Systems Planning and Analysis, Inc. (SPA) seeks a DevSecOps Technical SETA to provide onsite support in Arlington, VA for DARPA I2O research and development. The role focuses on high assurance software and formal methods integration with modern DevSecOps processes for mission-critical systems.

Qualified candidates bring 5+ years in high-assurance software, a relevant Bachelor's degree, and an active TS/SCI eligibility. Travel up to 10% and onsite work are required.

Qualifications

• 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's degree in mathematics, computer science, information science, and/or other relevant engineering specialty.
• Active Top Secret clearance with SCI eligibility.
• Able to travel up to 10% of the time.
• Able to work fully onsite based on client needs.

Responsibilities

• Support DARPA I2O with high assurance, high confidence, or zero-defect software and systems research and development for true mission critical solutions.
• 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 cutting-edge 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.

Skills

DevSecOps experience

High assurance software development

Formal methods knowledge

Embedded systems experience

Education

Bachelor's degree in mathematics, computer science, information science, or related engineering

Job description

Systems Planning and Analysis, Inc. (SPA) seeks a DevSecOps Technical SETA to provide onsite support in Arlington, VA for DARPA I2O research and development. The role focuses on high assurance software and formal methods integration with modern DevSecOps processes for mission-critical systems.

Qualified candidates bring 5+ years in high-assurance software, a relevant Bachelor's degree, and an active TS/SCI eligibility. Travel up to 10% and onsite work are required.