Apply on Employer Site

Systems Planning & Analysis · 20 hours ago

DevSecOps Technical SETA

Arlington, VA

Full-time

Onsite

Senior Level

5+ years exp

Systems Planning and Analysis, Inc. (SPA) delivers high-impact, technical solutions to complex national security issues. They are seeking a Technical SETA to support DARPA I2O with high assurance software and systems research and development, connecting modern DevSecOps processes with formal methods for mission-critical solutions.

AnalyticsInformation Technology

Growth Opportunities

No H1B

Security Clearance Required

U.S. Citizen Only

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'

Support management of cutting-edge research efforts related to DevSecOps or Formal Methods approaches

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

Qualification

DevSecOpsFormal MethodsHigh assurance systemsSoftware developmentMathematicsCollaborationProblem solvingCommunication

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

Preferred

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