Systems Planning And Analysis - Arlington, VA
posted 2 months ago
Full-time - Senior
Arlington, VA
Professional, Scientific, and Technical Services
About the position
The DevSecOps Technical SETA position at Systems Planning and Analysis, Inc. (SPA) involves providing expert support in high assurance software and systems research and development for mission-critical solutions. The role focuses on integrating modern DevSecOps processes with traditional mathematical modeling techniques, specifically Formal Methods, to enhance the specification, development, and verification of secure systems. The position offers opportunities to contribute significantly to various technical areas, particularly in managing cutting-edge research efforts related to embedded systems and cybersecurity.
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 research efforts related to DevSecOps or Formal Methods approaches.
- Oversee technology management of programs related to embedded systems and complex high assurance systems.
- Identify, analyze, and develop novel technologies and methodologies for 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 formal methods.
- Bachelor of science degree in mathematics, computer science, information science, or other relevant engineering fields.
- DoD Top Secret clearance with SCI eligibility.
Nice-to-haves
- Hands-on experience working with military and related intelligence community stakeholders.
- Prior research program support in software development, reverse engineering, vulnerability research, and/or hardware and software-based system engineering.
- Experience with mathematically rigorous techniques in hardware and software-based research and development.
Benefits
- Opportunity for professional growth and development.
- Engagement in innovative and impactful projects.
- Collaborative work environment with a talented team.
